Module Build_pred_or_term.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