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
Frama-C Frama-C PrinterExtensionSignature for extending an existing pretty-printer. OCaml forbids inheriting from a class received as argument, so we use a functor instead.
module _ : PrinterClass