Agda.TypeChecking.Monad.State

resetState

setScope

getScope

modifyScope

withScope

withScope_

localScope

setTopLevelModule

withTopLevelModule

addHaskellImport

getHaskellImports