Frama-C API - PrinterExtension
Signature for extending an existing pretty-printer. OCaml forbids inheriting from a class received as argument, so we use a functor instead.
Parameters
module _ : PrinterClass
Signature
class printer : extensible_printer_type