Value.num.ok.step: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value
Lines 240-261 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=240&end_line=261

import Base

def num.ok.step(st: Num, +cp: U32) -> Num:
  match st:
    case NStart{}:
      num.ok.step.start(cp)
    case NInt{}:
      num.ok.step.int(cp)
    case NZero{}:
      num.ok.step.body(cp, False{})
    case NDig{}:
      num.ok.step.body(cp, True{})
    case NDot{}:
      num.ok.step.frac(cp, False{})
    case NFrac{}:
      num.ok.step.frac(cp, True{})
    case NExp{}:
      num.ok.step.exps(cp)
    case NExpN{}:
      num.ok.step.expd(cp)
    case NExpD{}:
      num.ok.step.expd(cp)
    case NBad{}:
      NBad{}

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=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Num
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.body
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.expd
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.exps
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.frac
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.int
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step.start