Up
–
imandra-base
»
Imandra_prelude
» Sys
Module
Imandra_prelude.Sys
val
ocaml_version : string