~/jendhub

def close.skip

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

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

364# `]` or `}` of a skip, once the frame has been popped
365def close.skip(stack: List<&2, Frame>, depth: Nat, root: Bool) -> St:
366  match depth:
367    case 0n:
368      err.st(GSkip{0n})
369    case 1n+left:
370      close.skip.go(stack, left, root)

Uses (8)

Used by (1)