source: driver/printer.mli @ 2926

Last change on this file since 2926 was 2901, checked in by sacerdot, 8 years ago
  1. backendPrinter renamed to printer
  2. Clight printing branched into the printer
File size: 78 bytes
Line 
1val print_program: Extracted.Compiler.pass -> Extracted.Preamble.__ -> string
Note: See TracBrowser for help on using the repository browser.