Pull.word.burst.goal: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull Lines 764-779 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=764&end_line=779 import Base # a value landed on the delimiter. The suffix is consed back once, not copied. # The number keeps its own spelling, so it does not hold the rest of the array def word.burst.goal( ev: Ev, ch: Char, rest: String, stack: List<&2, Frame>, goal: Goal ) -> St: match goal: case GNext{}: place.val(ev, SCon{ch, rest}, stack, goal) case GSkip{0n}: place.val(ev, SCon{ch, rest}, stack, goal) case GSkip{1n+left}: word.burst.skip(rest, ch, stack, goal) Uses (10): 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=Base/base.bend&name=Nat 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=Ev https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Goal https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=St https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=place.val https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.burst.skip