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

Last change on this file since 1319 was 818, checked in by ayache, 10 years ago

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

File size: 357 bytes
RevLine 
[486]1(** This module provides functions to print elements of [Clight]
2    programs. *)
3
4val print_program: Clight.program -> string
5
[818]6val print_expression: Clight.expr -> string
[486]7
8val string_of_ctype: Clight.ctype -> string
9
10val print_statement: Clight.statement -> string
[818]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.