Module OASISFeatures.MapPlugin

module MapPlugin: Map.Make(sig
type t = OASISTypes.plugin_kind * OASISTypes.name 
val compare : 'a -> 'a -> int
end)