alba

Alba compiler
IN THIS PACKAGE
Module Fmlib . 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