Pull.str.val: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull Lines 255-263 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=255&end_line=263 import Base # a string value. A skip that is still inside a container keeps scanning def str.val(ev: Ev, rest: String, stack: List<&2, Frame>, goal: Goal) -> St: match goal: case GSkip{1n+left}: str.cont(stack, goal) case GNext{}: place.val(ev, rest, stack, goal) case GSkip{0n}: place.val(ev, rest, stack, goal) Uses (9): 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=str.cont