Agda.Utils.Suffix
isSubscriptDigit
toSubscriptDigit
fromSubscriptDigit
data Suffix
nextSuffix
suffixView
addSuffix
nameVariant