source: Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.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: 164 bytes
Line 
1
2(** This module provides a function to print [RTLabs] programs. *)
3
4val print_statement : RTLabs.statement -> string
5
6val print_program : RTLabs.program -> string
Note: See TracBrowser for help on using the repository browser.