Module RecencyMap.Make

Parameters

Signature

type t
type key = Key.t
type value = Value.t
val equal : t -> t -> bool
val pp : F.formatter -> t -> unit
val empty : t
val add : key -> value -> t -> t
val bindings : t -> (key * value) list
val filter : t -> f:((key * value) -> bool) -> t
val find_opt : key -> t -> value option
val fold : t -> init:'acc -> f:('acc -> (key * value) -> 'acc) -> 'acc
val fold_map : t -> init:'acc -> f:('acc -> value -> 'acc * value) -> 'acc * t
val is_empty : t -> bool
val mem : t -> key -> bool
val union_left_biased : t -> t -> t