def W64.hex.digit
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
376def W64.hex.digit(+d: U32) -> Char:
377 W64.hex.pick(U32.is_lt(d, 10), d)
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
376def W64.hex.digit(+d: U32) -> Char:
377 W64.hex.pick(U32.is_lt(d, 10), d)