Up
–
frama-c
»
Frama_c_kernel
»
Printer_api
»
S
» PrinterClass
Module type
S.PrinterClass
Auxiliary module type for a pretty-printer
class
printer
:
extensible_printer_type