Module Pulselib.PulseAccess

module type S = sig ... end
include S with type key := PulseAbstractValue.t
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType with type t = PulseAbstractValue.t Absint.MemoryAccess.t
include IStdlib.IStd.Caml.Set.OrderedType with type t = Pulselib.PulseAbstractValue.t 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