~/jendhub

def done

bend-kit-cbor@0.3.0.0 · cbor.bend:753

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

753# A finished top-level item must end the input.
754def done(stack: List<&1, Frame>, v: Val, +i: U32, +len: U32) -> St:
755  match stack:
756    case Nil{}:
757      done.top(U32.is_eq(i, len), v)
758    case Con{fr, rest}:
759      done.fr(fr, v, i, rest)

Uses (8)

Used by (1)