BaseLogic.Array
include module type of struct include Equality end
val mk_eq : Self.t Stdlib.List.t -> t
val mk_distinct : t Stdlib.List.t -> t
val mk_eq2 : Self.t -> Self.t -> t
val mk_distinct2 : t -> t -> t
include module type of struct include DefaultVars end
val mk_var : string -> Variable.Sort.t -> t
val mk_fresh_var : string -> Variable.Sort.t -> t
val mk_sort : Sort.t -> Sort.t -> Sort.t
val mk_const : t -> Sort.t -> t
val mk_select : t -> t -> t
val mk_store : t -> t -> t -> t
val mk_nary_select : int -> t -> t -> t