Module type PulseAccess.S

type key
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType with type t = key access
include Stdlib.Set.OrderedType with type t = key access
type t = key access
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:(AbstractValue.t -> AbstractValue.t) -> t -> t
val yojson_of_t : t -> Yojson.Safe.t
module Set : Stdlib.Set.S with type elt = t