Frama-C API - Predicate
type t = Frama_c_kernel.Cil_types.predicateval mk_false : Frama_c_kernel.Cil_types.logic_type option -> tval mk_true : Frama_c_kernel.Cil_types.logic_type option -> tval mk_logic_body : t -> Frama_c_kernel.Cil_types.logic_bodyval mk_let : ?loc:Frama_c_kernel.Cil_types.location -> Frama_c_kernel.Cil_types.logic_info -> t -> tval mk_if : ?loc:Frama_c_kernel.Cil_types.location -> Frama_c_kernel.Cil_types.predicate -> t -> t -> tval mk_at : Frama_c_kernel.Cil_types.logic_label -> t -> tval visit : Frama_c_kernel.Visitor.frama_c_visitor -> t -> t