Agda.TypeChecking.Monad.Imports
addImport
addImportCycleCheck
getImports
isImported
getImportPath
visitModule
setVisitedModules
getVisitedModules
isVisited
getVisitedModule
getDecodedModules
setDecodedModules
getDecodedModule
storeDecodedModule
dropDecodedModule
withImportPath
checkForImportCycle