Module BaseLogic.Variable

type t = Identifier.t * Sort.t
module Sort : sig ... end
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
module Set : sig ... end
module MonoList : sig ... end
module Map : sig ... end
module MonoMap (Data : sig ... end) : sig ... end
val get_sort : t -> Sort.t
val has_sort : Sort.t -> t -> bool
val show_with_sort : t -> string
val mk : string -> Sort.t -> t
val mk_fresh : string -> Sort.t -> t
val mk_list : Sort.t -> string list -> t list
val refresh : t -> t
val get_name : t -> string
val describe : t -> string * Sort.t
val of_description : (string * Sort.t) -> t
val show : t -> string
val smt2_decl : t -> string
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val debug : unit -> string
val show_debug : t -> string
val nil : t
val is_nil : t -> bool
val is_loc : t -> bool