PrinterClass
Auxiliary module type for a pretty-printer
class printer : Frama_c_kernel.Printer_api.extensible_printer_type
Frama-C Frama-C