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