Module OASISPlugin.MapPlugin


module MapPlugin: Map.S  with type key = plugin_kind plugin