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