~/jendhub

def next.ended

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

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

1579# the cursor after an end: nothing left to read, and the root is over
1580def next.ended(cur: Cur) -> Cur:
1581  Cur{_, stack, _, _} = cur
1582  Cur{"", stack, True{}, False{}}

Uses (2)

Used by (1)