Functor Parameter_sig.Builder.Filled_string_set

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:

X : sig include Input_with_arg val default: Datatype.String.Set.t end

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?