Predicate (frama-c-e-acsl.E_ACSL.Build_pred_or

type t = Frama_c_kernel.Cil_types.predicate

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