Note:

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

Module OASISPlugin.SetPlugin


module SetPlugin: OASISUtils.SetExt.S  with type elt = plugin_kind plugin

include Set.S
val add_list : t -> elt list -> t
Extends a set with a list.
val of_list : elt list -> t
Convert a list to a set.
val to_list : t -> elt list
Shortcut for Set.elements.