Module Red_black.Map

Parameters

Signature

type _ t
val empty : _ t
val is_empty : _ t -> bool
val fold : (Key.t -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val cardinal : _ t -> int
val bindings : 'a t -> (Key.t * 'a) list
val maybe_find : Key.t -> 'a t -> 'a option
val find : Key.t -> 'a t -> 'a
val mem : Key.t -> 'a t -> bool
val add : Key.t -> 'a -> 'a t -> 'a t
val remove : Key.t -> 'a t -> 'a t