def split_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/random.bend:100

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/random/chacha8.bend as C8

100def split_bytes(acc: List<&2, U32>, c: C8.ChaCha8, bs: List<&2, U32>) -> Fill:
101  match bs:
102    case Con{b, rest}:
103      FS{Con{b, acc}, c, rest}
104    case Nil{}:
105      FS{acc, c, []}