Printer.PrinterClass
Auxiliary module type for a pretty-printer
printer class had no unit argument
printer
unit
class printer : unit -> Frama_c_kernel.Printer_api.extensible_printer_type