Pull.word.run: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
Lines 676-686 of emerging-ezjson@1.3.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&start_line=676&end_line=686

import Base

# the suffix after a plain word. Tail call, so a long number is one loop
def word.run(txt: String, st: Wst) -> (String & Wst):
  match txt st:
    case rest WStop{buf, nn, num, ch}:
      (rest, WStop{buf, nn, num, ch})
    case rest WEof{buf, nn, num}:
      (rest, WEof{buf, nn, num})
    case SNil{} WMore{buf, nn, num}:
      ("", WEof{buf, nn, num})
    case SCon{+c, t} WMore{buf, nn, num}:
      word.run(t, word.decide(c, Char.to_u32(c), buf, nn, num))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.to_u32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Wst
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.decide