~/jendhub

def next.fin

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

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

1567# a step's answer. A budget used up is a failure, as it always was
1568def next.fin(res: Out) -> (Stop & Cur):
1569  match res:
1570    case Fin{got}:
1571      got
1572    case More{_, _}:
1573      bad.cur()

Uses (5)

Used by (1)