module type Map = sig .. end
sig
end
type key
type value
include Parameter_sig.Collection
(key, value)
val find : key -> value
key -> value
Not_found
val mem : key -> bool
key -> bool