Kernel_function_map._
val option_name : string
val help : string
val arg_name : string
val default : V.t Frama_c_kernel.Cil_datatype.Kf.Map.t