Note:

You are viewing a development version of the library. Goto the latest version.

Module type FilePath.PATH_STRING_SPECIFICATION


module type PATH_STRING_SPECIFICATION = sig .. end
Generic operations, with type filename and extension as strings.

module Abstract: FilePath.PATH_SPECIFICATION 
include FilePath.PATH_SPECIFICATION