Agda.Syntax.Scope.Base
data Scope
data NameSpaceId
type ScopeNameSpaces
data ScopeInfo
type LocalVars
data LocalVar
data NameSpace
type ThingsInScope a
type NamesInScope
type ModulesInScope
type InScopeSet
data InScopeTag a
class InScope a
data KindOfName
data WhyInScope
data AbstractName
data AbstractModule
type UsingOrHiding
data AllowAmbiguousNames