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.