Module Variable.Sort

type t =
  1. | Bool
  2. | Int
  3. | Finite of Identifier.t * string list
  4. | Set of t
  5. | Sequence of t
  6. | Array of t * t
  7. | Bitvector of int
  8. | Tupple of t list
  9. | Sum of t list
  10. | Uninterpreted of Identifier.t
  11. | Loc of Identifier.t * Identifier.t list
val pp : Stdlib.Format.formatter -> t -> unit
val print : ?prefix:string -> t -> unit
val show_option : t option -> string
val print_option : ?prefix:string -> t option -> unit
val dump : string -> t -> unit
val show_list : ?separator:string -> t list -> string
val pp_list : Stdlib.Format.formatter -> t list -> unit
val print_list : ?separator:string -> ?prefix:string -> t list -> unit
val show : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
module Set : sig ... end
module MonoList : sig ... end
module Map : sig ... end
module MonoMap (Data : sig ... end) : sig ... end
val equal_mod_nil : t -> t -> bool
val is_builtin : t -> bool
val name : t -> string
val all_names : t -> string list
val cardinality : t -> int option
val loc_ls : t
val loc_nil : t
val int : t
val bool : t
val mk_finite : string -> string list -> t
val mk_loc : ?aliases:string list -> string -> t
val mk_set : t -> t
val mk_uninterpreted : string -> t
val mk_array : t -> t -> t
val mk_bitvector : int -> t
val mk_sum : t list -> t
val is_bool : t -> bool
val is_loc : t -> bool
val is_set : t -> bool
val is_array : t -> bool
val is_bitvector : t -> bool
val is_nil : t -> bool
val get_dom_sort : t -> t
val get_range_sort : t -> t
val get_width : t -> int
val get_constant_names : t -> string list
val is_atomic : t -> bool
val show_kind : t -> string
val substitute : t -> t -> t -> t
val smt2_name : t -> string
val smt2_decl : t -> string