Agda.TypeChecking.Monad.State
resetState
setScope
getScope
modifyScope
withScope
withScope_
localScope
setTopLevelModule
withTopLevelModule
addHaskellImport
getHaskellImports