def hex.digit

yaml-for-bend@0.1.1.0 · value.bend:235

import Base

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