module type PATH_STRING_SPECIFICATION = sig .. end
sig
end
Generic operations, with type filename and extension as strings.
module Abstract: FilePath.PATH_SPECIFICATION
FilePath.PATH_SPECIFICATION
include FilePath.PATH_SPECIFICATION