Module type Plugin.STRING_LIST


module type STRING_LIST = GEN_STRING_SET  with type t = string list

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