~/jendhub

def punct.arr.go

emerging-ezjson@1.3.0.0 · src/pull.bend:432

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base

432# `[` pushed. A reader returns the begin; a skip counts the container
433def punct.arr.go(stack: List<&2, Frame>, goal: Goal) -> St:
434  match goal:
435    case GNext{}:
436      S{MRest{SEv{EBeginArr{}}}, stack, goal, False{}, False{}}
437    case GSkip{depth}:
438      S{MIdle{}, stack, GSkip{1n+depth}, False{}, False{}}

Uses (9)

Used by (1)