_
include Frama_c_kernel.Parameter_sig.Input_with_arg
include Frama_c_kernel.Parameter_sig.Input
val option_name : string
The name of the option
val help : string
A description for this option (e.g. used by -help). If help = "", then it has the special meaning "undocumented"
help = ""
val arg_name : string
A standard name for the argument which may be used in the description. If empty, a generic arg_name is generated.
val existence : Frama_c_kernel.Filepath.existence
val file_kind : string
used in error message if the file does not exist where it should and vice-versa.
Frama-C Frama-C