Pull.punct.obj.if: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull Lines 460-466 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=460&end_line=466 import Base # `{`, once it is known whether a value may start def punct.obj.if(stack: List<&2, Frame>, goal: Goal, ok: Bool) -> St: match ok: case True{}: punct.obj.go(FObj{SKey{}, True{}} <> stack, goal) case False{}: err.st(goal) Uses (8): 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=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=Slot 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=err.st https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=punct.obj.go