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