Agda.Compiler.Alonzo.Names
conStr
dfStr
conQStr
dfQStr
moduleStr
conName
dataName
dfName
dfNameSub
dfQName
conQName
numOfName
numOfQName
rtpQName