You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
System_config.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.