Make_multiple_map._
val option_name : string
val help : string
val arg_name : string
val dependencies : Frama_c_kernel.State.t list
val default : V.t list K.Map.t