Module FilePath.DefaultPath


module DefaultPath: PATH_STRING_SPECIFICATION 
Default operating system.

module Abstract: FilePath.PATH_SPECIFICATION 
include FilePath.PATH_SPECIFICATION