module type STRING_SET =GEN_STRING_SET
with type t = Cilutil.StringSet.t
include Plugin.Parameter
val add : string -> unit
val remove : string -> unit
val is_empty : unit -> bool
val get_set : ?sep:string -> unit -> string
val iter : (string -> unit) -> unit