Imandra_util.Version
val version : string
Version number
val copyright_years : string
val build_commit_id : string option
val build_commit_ts : string option
val build_commit_date : string option
Commit ID (hash of the git commit) of this version of Imandra
val docs_url_prefix : string
Prefix for documentation URLs
val docs_url_root : string
Root documentation page