Searched refs:outsideLocalVars (Results 1 – 3 of 3) sorted by relevance
29 import Agda.Syntax.Scope.Monad (bindVariable, outsideLocalVars)517 outsideLocalVars i $ addNamedVariablesToScope rΘ
203 outsideLocalVars :: Int -> ScopeM a -> ScopeM a204 outsideLocalVars n m = do function
2138 outsideLocalVars (fvAfter - fvBefore) $ bindGeneralizables binds