Frama-C:
Plug-ins:
Libraries:

Frama-C API - Plang

Lang Pretty-Printer

type scope = Qed.Engine.scope
module Env : Qed.Engine.Env with type term := Lang.F.term
type pool
val pool : unit -> pool
val alloc_e : pool -> (Lang.F.var -> unit) -> Lang.F.term -> unit
val alloc_p : pool -> (Lang.F.var -> unit) -> Lang.F.pred -> unit
val alloc_xs : pool -> (Lang.F.var -> unit) -> Lang.F.Vars.t -> unit
val alloc_domain : pool -> Lang.F.Vars.t
val sanitizer : string -> string
type iformat = [
  1. | `Hex
  2. | `Dec
  3. | `Bin
]
type rformat = [
  1. | `Ratio
  2. | `Float
  3. | `Double
]
class engine : object ... end