package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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