Module StackHeapModel.Location

type kind =
  1. | Implicit of Stdlib.Int.t
  2. | SMT of Constant.t
type t = kind * Sort.t
val mk : Stdlib.Int.t -> Sort.t -> t
val mk_smt : Constant.t -> t
val mk_nil : Stdlib.Int.t -> t
val mk_ls : Stdlib.Int.t -> t
include Datatype_sig.PRINTABLE with type t := t
include Datatype_sig.SHOW with type t := t
val pp : Stdlib.Format.formatter -> t -> unit

Output to formatter

val print : ?prefix:string -> t -> unit

Output to stdout.

val show_option : t option -> string
val print_option : ?prefix:string -> t option -> unit
val dump : string -> t -> unit

Dump to file given by filename

Lists of printable values

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
include Datatype_sig.COMPARABLE with type t := t
include Datatype_sig.COMPARISON with type t := t
val show : t -> string
val compare : t -> t -> int
val equal : t -> t -> bool
include Logic_sig.SORTED with type t := t and module Sort := Sort
val get_sort : t -> Astral_internal.Sort.t
val has_sort : Astral_internal.Sort.t -> t -> bool
val show_with_sort : t -> string