Agda.Syntax.Scope.Base

Scope representation

data Scope
data ScopeInfo
type LocalVars
data NameSpace
data InScopeTag a
class InScope a
data KindOfName

Operations on names

Operations on name and module maps.

Operations on name spaces

General operations on scopes

Specific operations on scopes

Inverse look-up