Agda.Syntax.Concrete.Name
data
Name
data
NamePart
noName_
noName
isNoName
isOperator
nameParts
qualify
unqualify
qnameParts
data
QName
isHole
isPostfix
isInfix
isNonfix
isPrefix
type
Suffix
moduleNameToFileName