Filepath_map._
val option_name : string
val help : string
val arg_name : string
val default : V.t Frama_c_kernel.Datatype.Filepath.Map.t
val existence : Fc_Filepath.existence
val file_kind : string