Version
Static and autoconfigured defaults
Do not edit the .ml file but rather the .ml.in file, the .ml file is generated from the .ml.in file after each run of the configure script.
val package_name : string
Name of the program
val version : string
val kmoxi_version : string
The version of kmoxi, independent of that of Kind 2