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