Redis.u64.show.go: def of bend-kit-redis@0.3.0.0
Import: import bend-kit-redis@0.3.0.0/redis.bend as Redis
Lines 75-85 of bend-kit-redis@0.3.0.0/redis.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-redis@0.3.0.0/redis.bend&start_line=75&end_line=85

import Base

# z is set once the value left to print is zero; 20 digits hold any u64.
def u64.show.go(f: Nat, q: U32 & U32 & U32, acc: String, +z: Bool) -> String:
  match f:
    case 0n:
      acc
    case 1n+p:
      # A + on a later tuple binder fails to check (https://github.com/bendlang/bend/issues/1077).
      (hi0, lo0, r) = q
      +hi = hi0
      +lo = lo0
      u64.show.go(p, u64.div10(hi, lo), digit.put(z, r, acc), Bool.or(z, U32.is_eq((hi .|. lo : U32), 0)))

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=Bool.or
  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
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=digit.put
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.0.0/redis.bend&name=u64.div10