Frama-C:
Plug-ins:
Libraries:

Frama-C API - 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.

  • since Fluorine-20130401
module Make (_ : sig ... end) : Printer_api.S