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