Module BaseLogic.Enumeration

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
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
val mk_sort : string -> string list -> Sort.t
val mk_const : Sort.t -> Stdlib.String.t -> t
val get_constants : Sort.t -> Constant.t list
val get_constants_terms : Sort.t -> t list