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