source: Deliverables/D2.2/8051/src/LIN/LINPrinter.mli @ 818

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

32 and 16 bits operations support in D2.2/8051

File size: 154 bytes
Line 
1
2(** This module provides a function to print [LIN] programs. *)
3
4val print_statement : LIN.statement -> string
5
6val print_program: LIN.program -> string
Note: See TracBrowser for help on using the repository browser.