module Filled_string_set:functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default :Datatype.String.Set.t
end
) ->
Parameter_sig.String_set
Parameters: |
|
include Parameter_sig.Collection
A set is a collection.
val mem : elt -> bool
Does the given element belong to the set?
val exists : (elt -> bool) -> bool
Is there some element satisfying the given predicate?