module type PATH_STRING_SPECIFICATION = sig .. end
sig
end
module Abstract: FilePath.PATH_SPECIFICATION
FilePath.PATH_SPECIFICATION
include FilePath.PATH_SPECIFICATION