def bits.bytes.fin

bend-kit-regex@0.8.0.0 · regex.bend:2321

import bend-kit-regex@0.8.0.0/regex.bend as Regex

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

2321def bits.bytes.fin(+len: U32, r: Array<U32> & Bool) -> Bytes.Bytes & Maybe<&2, Bool>:
2322  (a, x) = r
2323  (Bytes.Bytes{len, a}, Some{x})

Uses (7)

Used by (1)

bend-kit-regex@0.8.0.0/regex:bits.bytes