def next.walk

emerging-ezjson@1.3.0.0 · src/pull.bend:1575

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull

import Base

1575# a walk from the start of `txt` in state `st`, with the whole budget
1576def next.walk(txt: String, st: St) -> (Stop & Cur):
1577  next.fin(next.grow(next.levels(), 0n, More{txt, st}))

Uses (9)

Used by (2)