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

Functor OASISUtils.SetExt.Make

module Make: 
functor (Ord : Set.OrderedType) -> S with type elt = Ord.t
Ord : Set.OrderedType

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.