Module type PulseAccess.S

type key
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType with type t = key Absint.MemoryAccess.t
include IStdlib.IStd.Caml.Set.OrderedType with type t = key Absint.MemoryAccess.t
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:(PulseAbstractValue.t -> PulseAbstractValue.t) -> t -> t
val yojson_of_t : t -> Yojson.Safe.t
module Set : IStdlib.IStd.Caml.Set.S with type elt = t