def hex.char

emerging-eztoml@0.9.0.0 · main.bend:205

import Base

205# one hex nibble as a character
206def hex.char(+nn: U32) -> Char:
207  hex.char.go(U32.is_lt(nn, 10), nn)