Module PulseBaseMemory.Edges

include IStdlib.RecencyMap.S with type key = Access.t and type value = PulseBasicInterface.AbstractValue.t * PulseBasicInterface.ValueHistory.t
type t

Note that the derived compare and equal functions are sensitive to the underlying implementation and in particular won't equate some objects that denote the same map.

include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
type key = Access.t
val pp : IStdlib.RecencyMap.F.formatter -> t -> unit
val empty : t
val add : key -> value -> t -> t
val bindings : t -> (key * value) list
val exists : t -> f:((key * value) -> bool) -> bool
val for_all : t -> f:((key * value) -> bool) -> bool
val filter : t -> f:((key * value) -> bool) -> t
val find_opt : key -> t -> value option
val iter : t -> f:((key * value) -> unit) -> unit
val fold : t -> init:'acc -> f:('acc -> (key * value) -> 'acc) -> 'acc
val fold_map : t -> init:'acc -> f:('acc -> key -> value -> 'acc * value) -> 'acc * t
val is_empty : t -> bool
val map : t -> f:(value -> value) -> t
val mem : t -> key -> bool
val union_left_biased : t -> t -> t
val to_seq : t -> (key * value) Stdlib.Seq.t