src/clight/clightPrinter.mli

   1 (** This module provides functions to print elements of [Clight]
   2     programs. *)
   3
   4 val print_program: Clight.program -> string
   5
   6 val print_expression: Clight.expr -> string
   7
   8 val string_of_ctype: Clight.ctype -> string
   9
  10 val print_statement: Clight.statement -> string
  11
  12 val print_ctype_prot: Clight.ctype -> string
  13
  14 val print_ctype_def: Clight.ctype -> string
  15
  16 val string_of_unop : Clight.unary_operation -> string
  17
  18 val string_of_binop : Clight.binary_operation -> string