Frama-C API - _
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
A description for this option (e.g. used by -help). If help = ""
, then it has the special meaning "undocumented"
A standard name for the argument which may be used in the description. If empty, a generic arg_name is generated.