jon.recoil.org

Module Id.Map

type key = Id.t
type 'a t
val empty : _ Id.Map.t
val add : Id.Map.key -> 'a -> 'a Id.Map.t -> 'a Id.Map.t
val cardinal : _ Id.Map.t -> int
val bindings : 'a Id.Map.t -> (Id.Map.key * 'a) list
val find : Id.Map.key -> 'a Id.Map.t -> 'a
val iter : (Id.Map.key -> 'a -> unit) -> 'a Id.Map.t -> unit
val fold : (Id.Map.key -> 'a -> 'b -> 'b) -> 'a Id.Map.t -> 'b -> 'b
val mem : Id.Map.key -> 'a Id.Map.t -> bool