module StringSet:Build an option as a set of strings, initialized to the empty set.
Parameters: |
|
include Plugin.GEN_STRING_SET
val is_empty : unit -> bool
val remove : string -> unit
val remove_set : string -> unit
\t
*, \t
*" regexp)
from the option.