Json.num.go: def of bend-net-json@0.3.0.0
Import: import bend-net-json@0.3.0.0/json.bend as Json
Lines 94-108 of bend-net-json@0.3.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-net-json@0.3.0.0/json.bend&start_line=94&end_line=108

import Base

def num.go(t: String, +c: U32, +st: U32, acc: String, stop: Bool) -> Maybe<&2, Next>:
  match t:
    case SNil{}:
      match stop:
        case True{}:
          num.end(st, acc, SCon{Chr{c}, SNil{}})
        case False{}:
          num.end(num.trans(st, c), SCon{Chr{c}, acc}, SNil{})
    case SCon{Chr{+d}, u}:
      match stop:
        case True{}:
          num.end(st, acc, SCon{Chr{c}, SCon{Chr{d}, u}})
        case False{}:
          +n = num.trans(st, c)
          num.go(u, d, n, SCon{Chr{c}, acc}, U32.is_eq(num.trans(n, d), 99))

Uses (9):
  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=Maybe
  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=bend-net-json@0.3.0.0/json.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=num.end
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=num.trans