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

Module OASISUtils.SetStringCsl

module SetStringCsl: SetExt.S  with type elt = String.t
Set for String.

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.