Int.Nar.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 513-525 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=513&end_line=525

import Base

# Digits of x in radix r, most significant first; fuel f bounds them.
def Nar.show.go(f: Nat, +r: U32, acc: String, z: Bool, +x: U32) -> String:
  match f:
    case 0n:
      acc
    case 1n+g:
      match z:
        case True{}:
          acc
        case False{}:
          +q = {U32.div(x, r) : U32}
          Nar.show.go(g, r, SCon{Radix.digit(U32.mod(x, r)), acc},
            U32.is_zero(q), q)

Uses (8):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Radix.digit