~/jendhub

def done.arr

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

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

715def done.arr(last: Bool, +left: U32, xs: List<&1, Val>, +i: U32, rest: List<&1, Frame>) -> St:
716  match last:
717    case True{}:
718      SDone{Arr{List.reverse(&1, Val, xs)}, i, rest}
719    case False{}:
720      SHead{i, Con{FArr{(left - 1 : U32), xs}, rest}}

Uses (8)

Used by (1)