Up
–
frama-c
»
Frama_c_gui
»
Gui_printers
»
LinkPrinter
» _
Parameter
LinkPrinter._
class
printer
:
Frama_c_kernel.Printer_api.extensible_printer_type