Frama-C API - `Term`

type t = Frama_c_kernel.Cil_types.term

val mk_false : Frama_c_kernel.Cil_types.logic_type option -> t

val mk_true : Frama_c_kernel.Cil_types.logic_type option -> t

val mk_logic_body : t -> Frama_c_kernel.Cil_types.logic_body

val mk_let : ?loc:Frama_c_kernel.Cil_types.location -> Frama_c_kernel.Cil_types.logic_info -> t -> t

val mk_if : ?loc:Frama_c_kernel.Cil_types.location -> Frama_c_kernel.Cil_types.predicate -> t -> t -> t

val mk_at : Frama_c_kernel.Cil_types.logic_label -> t -> t

val visit : Frama_c_kernel.Visitor.frama_c_visitor -> t -> t

val pretty : Stdlib.Format.formatter -> t -> unit

Frama-C API - Term