module type Multiple_map = sig .. end
sig
end
Map
type key
type value
include Parameter_sig.Collection
val find : key -> value list
key -> value list
val mem : key -> bool
key -> bool