PulseAccess.S
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType
with type t = key 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:(AbstractValue.t -> AbstractValue.t) -> t -> t
val yojson_of_t : t -> Yojson.Safe.t