Json.run: def of bend-net-json@0.3.0.0
Import: import bend-net-json@0.3.0.0/json.bend as Json
Lines 364-384 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=364&end_line=384

import Base

# fuel: every step but the last eats at least one char.
def run(fuel: Nat, st: St) -> Maybe<&2, Val>:
  match fuel:
    case 0n:
      None{}
    case 1n+f:
      match st:
        case SDone{v, s}:
          done(v, skip_ws(s))
        case SFail{}:
          None{}
        case SValue{s, stack}:
          run(f, step(SValue{s, stack}))
        case SKey{s, stack}:
          run(f, step(SKey{s, stack}))
        case SColon{k, s, stack}:
          run(f, step(SColon{k, s, stack}))
        case SStr{s, acc, k, stack}:
          run(f, step(SStr{s, acc, k, stack}))
        case SAfter{v, s, stack}:
          run(f, step(SAfter{v, s, stack}))

Uses (7):
  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=bend-net-json@0.3.0.0/json.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=skip_ws
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=step