def hex.digit

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

229def hex.digit(+d: U32) -> Char:
230  hex.digit.pick(U32.is_lt(d, 10), d)

Uses (4)