Int.Int.read.go: def of bend-kit-int@0.2.0.0
Import: import bend-kit-int@0.2.0.0/int.bend as Int
Lines 398-404 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=398&end_line=404

import Base

def Int.read.go(s: String, +n: Nat, +b: Word(n), +r: U32,
  st: Maybe<&2, Word(n)>) -> Maybe<&2, Word(n)>:
  match s:
    case SNil{}:
      st
    case SCon{Chr{x}, t}:
      Int.read.go(t, n, b, r, Int.read.step(n, b, r, st, x))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Word
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=Int.read.step