~/jendhub

def bstr.some

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

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

503def bstr.some(+n: U32, r: Array<U32> & Array<U32>) -> Array<U32> & Maybe<&1, Bytes.Bytes>:
504  (a, out) = r
505  (a, Some{Bytes.Bytes{n, out}})

Uses (6)

Used by (1)