Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

Parameters

module T : Logic.Term

Signature

type env

environment for pretty printing

val empty : env
val marks : env -> T.marks
val known : env -> T.Vars.t -> env
val fresh : env -> T.term -> string * env
val bind : string -> T.term -> env -> env
val pp_tau : Stdlib.Format.formatter -> T.tau -> unit
val pp_term : env -> Stdlib.Format.formatter -> T.term -> unit

print with the given environment without modifying it

val pp_def : env -> Stdlib.Format.formatter -> T.term -> unit
val pp_term_env : env -> Stdlib.Format.formatter -> T.term -> unit

print with the given environment and update it

val pp_def_env : env -> Stdlib.Format.formatter -> T.term -> unit