source: driver/backendPrinter.mli @ 2856

Last change on this file since 2856 was 2854, checked in by sacerdot, 7 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.