Module Astral_internal.Constant

module U = UnicodeSymbols
module ID : sig ... end
type t =
  1. | Const of Identifier.t * Sort.t
  2. | Bool of Stdlib.Bool.t
  3. | Int of Stdlib.Int.t
  4. | Bitvector of Bitvector.t
  5. | Tupple of Stdlib.String.t Stdlib.Option.t * t Stdlib.List.t
  6. | Set of t Stdlib.List.t
  7. | Array of arr
and arr =
  1. | Enum of t Stdlib.Option.t * (t * t) Stdlib.List.t
  2. | Identity
val equal : t -> t -> bool
val equal_arr : arr -> arr -> bool
val compare : t -> t -> int
val compare_arr : arr -> arr -> int
module Self : sig ... end
include sig ... end
val show : Self.t -> string
val pp : Stdlib.Format.formatter -> Self.t -> unit
val print : ?prefix:string -> Self.t -> unit
val show_option : Self.t option -> string
val print_option : ?prefix:string -> Self.t option -> unit
val dump : string -> Self.t -> unit
val show_list : ?separator:string -> Self.t list -> string
val pp_list : Stdlib.Format.formatter -> Self.t list -> unit
val print_list : ?separator:string -> ?prefix:string -> Self.t list -> unit
val get_sort : t -> Sort.t
val mk_bool : Stdlib.Bool.t -> t
val tt : t
val ff : t
val mk_const : Sort.t -> Stdlib.String.t -> t
val mk_int : Stdlib.Int.t -> t
val mk_bitvector : Bitvector.t -> t
val mk_bitvector_of_string : string -> t
val mk_bitvector_of_int : int -> int -> t
val mk_array : ?default:t -> (t * t) Stdlib.List.t -> t
val array_add_binding : t -> t -> t -> t
val mk_set : t Stdlib.List.t -> t
val is_true : t -> bool
val get_int : t -> Stdlib.Int.t
val get_elems : t -> t Stdlib.List.t
val select : t -> t -> t
val map : (t -> t) -> t -> t