def hexd

bend-toon-codec@0.1.0.0 · src/text.bend:61

import Base

61def hexd(+n: U32) -> Char:
62  Chr{sel.u(U32.is_lt(n, 10), (n + 48 : U32), (n + 87 : U32))}