Module type `Make.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

class printer : unit -> Frama_c_kernel.Printer_api.extensible_printer_type