Functor Kernel.StringList


module StringList: 
functor (X : Parameter_input_with_arg) -> Plugin.STRING_LIST
Should not be used by casual users
Parameters:
X : Parameter_input_with_arg

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