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.