def exec.bytes.fin

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

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

2085def exec.bytes.fin(+len: U32, r: Array<U32> & Maybe<&2, List<&2, Maybe<&2, U32>>>) -> Bytes.Bytes & Maybe<&2, List<&2, Maybe<&2, U32>>>:
2086  (a, m) = r
2087  (Bytes.Bytes{len, a}, m)

Uses (7)

Used by (2)