Qs.tok.step: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
Lines 82-91 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=82&end_line=91

import Base

# one character where the decoding stands
def tok.step(plus: Bool, st: Esc, +c: Char, k: Esc -> List<&2, Tok>)
  -> List<&2, Tok>:
  match st:
    case Plain{}:
      tok.plain(plus, c, k)
    case Pct{}:
      tok.pct(plus, c, k, tok.hex(c))
    case Pct1{d}:
      tok.pct1(plus, d, c, k, tok.hex(c))

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=List
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Esc
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=tok.hex
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=tok.pct
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=tok.pct1
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=tok.plain