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