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