Version
val version : unit -> string
val version_major : unit -> int
val version_minor : unit -> int
val version_micro : unit -> int
Frama-C