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