source: Deliverables/D2.2/8051/src/RTL/RTLPrinter.mli

Last change on this file was 1580, checked in by tranquil, 9 years ago

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

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