S.Accessinclude IStdlib.PrettyPrintable.PrintableEquatableOrderedType
with type t = key Absint.MemoryAccess.tinclude IStdlib.IStd.Caml.Set.OrderedType
with type t = key Absint.MemoryAccess.ttype t = key Absint.MemoryAccess.tinclude IStdlib.PrettyPrintable.PrintableEquatableType with type t := tinclude IStdlib.PrettyPrintable.PrintableType with type t := tval pp : IStdlib.PrettyPrintable.F.formatter -> t -> unitval canonicalize :
get_var_repr:(PulseAbstractValue.t -> PulseAbstractValue.t) ->
t ->
tval yojson_of_t : t -> Yojson.Safe.t