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

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

Deliverable D2.2

File size: 267 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
Note: See TracBrowser for help on using the repository browser.