Parameter 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