Agda.Utils.FileName
data AbsolutePath
filePath
mkAbsolute
absolute
(===)
doesFileExistCaseSensitive
rootPath