Module OASISPlugin.SetPlugin


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