Previous
Up
Next
Module
OASISPlugin.SetPlugin
module
SetPlugin:
Set.S
with type elt = plugin_kind plugin