source: driver/backendPrinter.mli @ 2854

Last change on this file since 2854 was 2854, checked in by sacerdot, 6 years ago

Pretty printing of the LTL program.

File size: 122 bytes
Line 
1(*val print_RTL_program: Extracted.RTL.rtl_program -> string*)
2val print_LTL_program: Extracted.LTL.ltl_program -> string
Note: See TracBrowser for help on using the repository browser.