Previous
Up
Next
Module
SysExtra
(
.ml
)
module
SysExtra:
sig
..
end
Additional features for the standard module
Sys
. Open this module in order to use the extended version of
Sys
instead of the standard one.
module
Extra
:
sig
..
end
Extra definitions.
module
Sys
:
sig
..
end
Redefinition of module
Sys
.