Agda.Syntax.Concrete.Name
data Name
data NamePart
noName_
noName
isNoName
isOperator
nameParts
nameStringParts
qualify
unqualify
qnameParts
data QName
data TopLevelModuleName
toTopLevelModuleName
moduleNameToFileName
projectRoot
isHole
isPrefix
isNonfix
isInfix
isPostfix