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

Last change on this file since 740 was 740, checked in by ayache, 10 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.