def str.skip

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

import Base

273# a string a skip will not keep
274def str.skip(rest: String, stack: List<&2, Frame>, goal: Goal) -> St:
275  match goal:
276    case GNext{}:
277      err.st(goal)
278    case GSkip{depth}:
279      str.place(POwn{""}, rest, stack, goal)