sig
type key
type 'a t
val is_empty : 'a Collection.Map.M.t -> bool
val mem : 'a Collection.Map.M.t -> Collection.Map.M.key -> bool
val find : 'a Collection.Map.M.t -> Collection.Map.M.key -> 'a
val size : 'a Collection.Map.M.t -> int
val iter :
(Collection.Map.M.key -> 'a -> unit) -> 'a Collection.Map.M.t -> unit
val fold :
(Collection.Map.M.key -> 'a -> 'b -> 'b) ->
'a Collection.Map.M.t -> 'b -> 'b
end