Make_set._
val option_name : string
val help : string
val arg_name : string
val dependencies : Frama_c_kernel.State.t list
val default : E.Set.t