Module FilenameExtra (.ml)


module FilenameExtra: sig .. end
Additional features for the standard module Filename. Open this module in order to use the extended version of Filename instead of the standard one.

module Extra: sig .. end
Extra definitions.
module Filename: sig .. end
Redefinition of module Filename.