def bits.bytes
bend-kit-regex@0.8.0.0 · regex.bend:2325
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
2325def bits.bytes(b: Bits, start: Maybe<&2, List<&2, Inst>>, asc: Maybe<&2, Asc>, +len: U32, buf: Array<U32>) -> Bytes.Bytes & Maybe<&2, Bool>:
2326 Bits{sets, at0, hit0, hit01, atn, hit1} = b
2327 bits.bytes.fin(len, bitsb(Nat.add(U32.to_nat(len), 2n), rt.at(dec(buf, len, 0), 0, Bs{at0, hit0, hit01}), len, sets, start, asc, atn, hit1))