Pulselib.PulseAccessmodule type S = sig ... endinclude S with type key := PulseAbstractValue.tinclude IStdlib.PrettyPrintable.PrintableEquatableOrderedType
with type t = PulseAbstractValue.t Absint.MemoryAccess.tinclude IStdlib.IStd.Caml.Set.OrderedType
with type t = Pulselib.PulseAbstractValue.t 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