def toks

emerging-ezhttp@0.21.0.0 · src/qs.bend:103

import Base

103# a string as bytes and wide characters, character by character
104def toks(s: String, +plus: Bool, st: Esc) -> List<&2, Tok>:
105  match s:
106    case SNil{}:
107      tok.end(st)
108    case SCon{+c, t}:
109      tok.step(plus, st, c, st2 => toks(t, plus, st2))