Module Frama_c_kernel.Printer_builder

Build a dynamic printer that bind all pretty-printers to the object obtained by (P())

module Make_pp (_ : sig ... end) : Printer_api.S_pp

Build a full pretty-printer from a pretty-printing class.

module Make (_ : sig ... end) : Printer_api.S