def nat.byte

import ezx@1.11.0.0/src/sha/nar.bend as Nar

import Base

26def nat.byte(+value: Nat) -> Char:
27  byte(U32.from_nat(Nat.mod(value, 256n)))

Uses (5)