Up
–
frama-c
»
Frama_c_kernel
»
Printer_builder
»
Make
» 1-P
Parameter
Make.1-P
class
printer
:
unit
->
Frama_c_kernel.Printer_api.extensible_printer_type