source: Deliverables/D2.2/8051/src/clight/clightPrinter.mli @ 3673

Last change on this file since 3673 was 818, checked in by ayache, 9 years ago

32 and 16 bits operations support in D2.2/8051

File size: 357 bytes
Line 
1(** This module provides functions to print elements of [Clight]
2    programs. *)
3
4val print_program: Clight.program -> string
5
6val print_expression: Clight.expr -> string
7
8val string_of_ctype: Clight.ctype -> string
9
10val print_statement: Clight.statement -> string
11
12val print_ctype_prot: Clight.ctype -> string
13
14val print_ctype_def: Clight.ctype -> string
Note: See TracBrowser for help on using the repository browser.