def hex.digit

yaml-for-bend@0.1.1.0 · emit.bend:43

import Base

43def hex.digit(+n: Nat) -> Char:
44  Chr{U32.from_nat(Bool.pick(Nat, Nat.is_lt(n, 10n), Nat.add(n, 48n), Nat.add(n, 55n)))}