package frama-c

  1. Overview
  2. Docs

Module Wp.PlangSource

Lang Pretty-Printer

Sourcetype pool
Sourceval pool : unit -> pool
Sourceval alloc_e : pool -> (Lang.F.var -> unit) -> Lang.F.term -> unit
Sourceval alloc_p : pool -> (Lang.F.var -> unit) -> Lang.F.pred -> unit
Sourceval alloc_xs : pool -> (Lang.F.var -> unit) -> Lang.F.Vars.t -> unit
Sourceval alloc_domain : pool -> Lang.F.Vars.t
Sourceval sanitizer : string -> string
Sourcetype iformat = [
  1. | `Hex
  2. | `Dec
  3. | `Bin
]
Sourcetype rformat = [
  1. | `Ratio
  2. | `Float
  3. | `Double
]
Sourceclass engine : object ... end