Module Z3.Version

module Version: sig .. end
Version information

val major : int
The major version.
val minor : int
The minor version.
val build : int
The build version.
val revision : int
The revision.
val full_version : string
A full version string.
val to_string : string
A string representation of the version information.