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.