Access (infer.Pulselib.PulseAbductiveDomain.CanonValue.Memory.Access)

include IStdlib.PrettyPrintable.PrintableEquatableOrderedType
  with type t = t PulseAccess.access

include Stdlib.Set.OrderedType with type t = t Pulselib.PulseAccess.access

type t = t PulseAccess.access

val compare : t -> t -> int

include IStdlib.PrettyPrintable.PrintableEquatableType with type t := t

include IStdlib.PrettyPrintable.PrintableType with type t := t

val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit

val equal : t -> t -> bool

val canonicalize : 
  get_var_repr:
    (Pulselib.PulseAccess.AbstractValue.t ->
      Pulselib.PulseAccess.AbstractValue.t) ->
  t ->
  t

val yojson_of_t : t -> Yojson.Safe.t

module Set : Stdlib.Set.S with type elt = t