package frama-c

  1. Overview
  2. Docs
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 (P : sig ... end) : Printer_api.S_pp

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

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

Innovation. Community. Security.