Access (infer.Pulselib.PulseBaseMemory.Access)

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

include IStdlib.IStd.Caml.Set.OrderedType
  with type t =
         Pulselib.PulseBasicInterface.AbstractValue.t
           Pulselib.PulseAccess.access

type t = PulseBasicInterface.AbstractValue.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 : IStdlib.IStd.Caml.Set.S with type elt = t