1 (** This module provides functions to print elements of [Clight]
4 val print_program: Clight.program -> string
6 val print_expression: Clight.expr -> string
8 val string_of_ctype: Clight.ctype -> string
10 val print_statement: Clight.statement -> string
12 val print_ctype_prot: Clight.ctype -> string
14 val print_ctype_def: Clight.ctype -> string
16 val string_of_unop : Clight.unary_operation -> string
18 val string_of_binop : Clight.binary_operation -> string