Agda.Utils.Suffix

isSubscriptDigit

toSubscriptDigit

fromSubscriptDigit

data Suffix

nextSuffix

suffixView

addSuffix

nameVariant