Regex.num.go: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 256-269 of bend-kit-regex@0.8.0.0/regex.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-regex@0.8.0.0/regex.bend&start_line=256&end_line=269

import Base

def num.go(t: String, +c: U32, +acc: U32, +n: U32, dig: Bool) -> Num:
  match t:
    case SNil{}:
      match dig:
        case True{}:
          Num{num.add(acc, c), (n + 1 : U32), SNil{}}
        case False{}:
          Num{acc, n, SCon{Chr{c}, SNil{}}}
    case SCon{Chr{+d}, u}:
      match dig:
        case True{}:
          num.go(u, d, num.add(acc, c), (n + 1 : U32), is_digit(d))
        case False{}:
          Num{acc, n, SCon{Chr{c}, SCon{Chr{d}, u}}}

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=Char
  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.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=Num
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=is_digit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-regex@0.8.0.0/regex.bend&name=num.add