Build_pred_or_term.SA unified signature for building terms and expressions. Not to be confused with Analyses_types.pred_or_term, which simply is the sum of both types, while here separate modules are provided for predicates and terms.
val 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