Module SMT.Quantifier

val mk_forall : Variable.t list -> ?ranges:Range.t -> t -> t
val mk_exists : Variable.t list -> ?ranges:Range.t -> t -> t
val mk_exists' : Sort.t list -> (t list -> t) -> t
val mk_forall' : Sort.t list -> (t list -> t) -> t
val mk_forall2 : Variable.t list -> ?ranges:Range.t -> t -> t
val mk_exists2 : Variable.t list -> ?ranges:Range.t -> t -> t
val mk_forall2_range : Variable.t list -> Range.t option -> t -> t
val mk_exists2_range : Variable.t list -> Range.t option -> t -> t