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