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