Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISPlugin.SetPlugin


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