source: driver/printer.mli @ 2901

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