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