Module Imandra_prelude.Sys

val ocaml_version : string