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