Up
–
frama-c
»
Frama_c_kernel
»
Cil_printer
»
PrinterExtension
» _
Parameter
PrinterExtension._
class
printer
:
Frama_c_kernel.Printer_api.extensible_printer_type