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.