Module BaseLogic.Quantifiers

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