Functor Kernel.StringSet


module StringSet: 
functor (X : Parameter_input_with_arg) -> Plugin.STRING_SET
Build an option as a set of strings, initialized to the empty set.
Parameters:
X : Parameter_input_with_arg

include Plugin.GEN_STRING_SET
val is_empty : unit -> bool
val remove : string -> unit
Remove a string from the option.
val remove_set : string -> unit
Remove each sub-string (separated by " \t*, \t*" regexp) from the option.