Pulselib.PulseAccess
module type S = sig ... end
include S with type key := PulseAbstractValue.t
include IStdlib.PrettyPrintable.PrintableEquatableOrderedType
with type t = PulseAbstractValue.t Absint.MemoryAccess.t
include IStdlib.IStd.Caml.Set.OrderedType
with type t = Pulselib.PulseAbstractValue.t Absint.MemoryAccess.t
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:(PulseAbstractValue.t -> PulseAbstractValue.t) ->
t ->
t
val yojson_of_t : t -> Yojson.Safe.t