Module OASISPlugin.MapPlugin

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