~/jendhub

def get.some

bend-kit-bytes@0.3.3.0 · bytes.bend:130

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

130def get.some(+len: U32, r: Array<U32> & U32) -> Bytes & Maybe<&2, U32>:
131  (a, v) = r
132  (Bytes{len, a}, Some{v})

Uses (6)

Used by (2)