Agda.Interaction.FindFile
toIFile
data FindError
findErrorToTypeError
findFile
findFile'
findFile''
findInterfaceFile
checkModuleName
moduleName'
moduleName
tests