_
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 default : string
Frama-C Frama-C