module ExtraSet: functor (
S
:
Set.S
) ->
sig
.. end
Some useful extra functions for sets
val add_list : S.t -> S.elt list -> S.t
Add a list of values to an existing set.
val remove_list : S.t -> S.elt list -> S.t
Removes a list of values to an existing set.
val from_list : S.elt list -> S.t
Construct a set from a list.
val list_union : S.t list -> S.t
Builds the union of a list of sets
val list_inter : S.t list -> S.t
Builds the intersection of a list of sets.
If the list is empty, a match exception is thrown.