source: Deliverables/D2.2/8051/src/cminor/cminorPrinter.mli @ 740

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

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File size: 307 bytes
Line 
1
2(** This module provides functions to print elements of [Cminor]
3    programs. *)
4
5val print_expression : Cminor.expression -> string
6
7val print_body : int (* indentation *) -> Cminor.statement -> string
8
9val string_of_statement : Cminor.statement -> string
10
11val print_program :  Cminor.program -> string
12
Note: See TracBrowser for help on using the repository browser.