module StringList:
Should not be used by casual users
include Plugin.Parameter
val set_set : string -> unit
Set each sub-string (separated by " \t
*, \t
*" regexp)
to the set option.
val get_set : ?sep:string -> unit -> string
Get a string which concatenates each string in the set with a
white space separation.
val add : string -> unit
Add a string to the string set option.
val add_set : string -> unit
Add each sub-string (separated by " \t
*, \t
*" regexp)
to the set option.
val iter : (string -> unit) -> unit
val fold : (string -> 'a -> 'a) -> 'a -> 'a