Memory.Access
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType
with type t = t PulseAccess.access
include IStdlib.IStd.Caml.Set.OrderedType
with type t = t Pulselib.PulseAccess.access
type t = t PulseAccess.access
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:
(Pulselib.PulseAccess.AbstractValue.t ->
Pulselib.PulseAccess.AbstractValue.t) ->
t ->
t
val yojson_of_t : t -> Yojson.Safe.t