Agda.Syntax.Abstract.Name
data
Name
data
QName
data
ModuleName
data
AmbiguousQName
withRangesOf
withRangesOfQ
mnameFromList
noModuleName
mkName
mkName_
qnameToList
qnameFromList
qnameToMName
showQNameId
qnameToConcrete
mnameToConcrete
toTopLevelModuleName
qualifyM
qualifyQ
qualify
isOperator
isSubModuleOf
isInModule
freshName
freshName_
freshNoName
freshNoName_
nextName