source: driver/clightPrinter.mli @ 2758

Last change on this file since 2758 was 2758, checked in by campbell, 8 years ago

Adapt prototype's Clight printer.
Doesn't use cost map yet.

File size: 575 bytes
Line 
1(** This module provides functions to print elements of [Extracted.Csyntax]
2    programs. *)
3
4val print_program: Extracted.Csyntax.clight_program -> string
5
6val print_expression: Extracted.Csyntax.expr -> string
7
8val string_of_ctype: Extracted.Csyntax.type0 -> string
9
10val print_statement: Extracted.Csyntax.statement -> string
11
12val print_ctype_prot: Extracted.Csyntax.type0 -> string
13
14val print_ctype_def: Extracted.Csyntax.type0 -> string
15
16val string_of_unop : Extracted.Csyntax.unary_operation -> string
17
18val string_of_binop : Extracted.Csyntax.binary_operation -> string
Note: See TracBrowser for help on using the repository browser.