Version
val id : string
Frama-C version identifier.
val codename : string
Frama-C version codename.
val id_and_codename : string
Frama-C version and codename.
val major : int
Frama-C major version number.
val minor : int
Frama-C minor version number.
Frama-C