Module type Build_pred_or_term.S

A 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.

type t
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