Agda.TypeChecking.Monad.Local

makeLocal

makeGlobal

getLocal