Imandra_util.Gitid
val rev : string
(automatically generated) git commit hash of this version of Imandra
val ts : string
val date : string