def Nat.show.put

Base · base.bend:2268

2268def Nat.show.put(qr: Nat & Nat) -> Char & Nat:
2269  (q, r) = qr
2270  (Chr{U32.from_nat(Nat.add(48n, r))}, q)