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