Module type Cil_printer.PrinterClass

Auxiliary module type for a pretty-printer