source: Deliverables/D2.3/8051-memoryspaces-branch/src/clight/clightPrinter.mli @ 460

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

Import of the Paris's sources.

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.