Int.Int.show.go: def of bend-kit-int@0.2.0.0
Import: import bend-kit-int@0.2.0.0/int.bend as Int
Lines 339-354 of bend-kit-int@0.2.0.0/int.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-int@0.2.0.0/int.bend&start_line=339&end_line=354

import Base

# z is set once the value left to print is zero; fuel n bounds the digits.
def Int.show.go(f: Nat, +n: Nat, +b: Word(n), acc: String, z: Bool,
  qr: Word(n) & Word(n)) -> String:
  match f:
    case 0n:
      acc
    case 1n+g:
      match z:
        case True{}:
          acc
        case False{}:
          (q, r) = qr
          +q2 = {q : Word(n)}
          Int.show.go(g, n, b,
            SCon{Radix.digit(U32.from_nat(Word.to_nat(n, r))), acc},
            Int.is_zero(n, q2), Int.udivmod.go(n, q2, n, b))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Int.is_zero
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Int.udivmod.go
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Radix.digit