Pull.jump.unless.done: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull Lines 722-728 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=722&end_line=728 import Base # a state that already stopped drops `rest`. Anything else resumes on it def jump.unless.done(+rest: String, st: St) -> St: match st: case S{MDone{stop, saved}, stack, goal, done, bad}: jump.keep(word.drop(rest), S{MDone{stop, saved}, stack, goal, done, bad}) case S{mode, stack, goal, done, bad}: S{MJump{rest, mode}, stack, goal, done, bad} Uses (5): 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=Mode 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=jump.keep https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=word.drop