Pull.expect.str.for: def of emerging-ezjson@1.4.0.0 Import: import emerging-ezjson@1.4.0.0/src/pull.bend as Pull Lines 178-185 of emerging-ezjson@1.4.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&start_line=178&end_line=185 import Base # a string can start here for this goal. A skip of one whole value must # start a value, so a key there fails at once, as it would once read def expect.str.for(stack: List<&2, Frame>, goal: Goal, done: Bool) -> Bool: match goal: case GSkip{0n}: expect.val(stack, done) case _: expect.str(stack, done) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=emerging-ezjson@1.4.0.0/src/pull.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=Goal https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=expect.str https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=expect.val