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