Module Parameters.LoadScript


module LoadScript: Plugin.STRING_SET 

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.