Module OASISPlugin.SetPlugin

module SetPlugin: Set.S  with type elt = plugin_kind plugin