String_multiple_map._
val option_name : string
val help : string
val arg_name : string
val default : V.t list Frama_c_kernel.Datatype.String.Map.t