Data.Digit.HEXADECIMAL
type HEXADECIMALNoZero d
type HEXADECIMAL d
type HEXADECIMALNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 dA dB dC dD dE dF
type HEXADECIMALNoZeroDigit' d
type HEXADECIMALDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 dA dB dC dD dE dF
type HEXADECIMALDigit' d