def output

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:165

import Base

165# the first 992 bytes are output, the last 32 bytes key the next iteration
166def output(+key: List<&2, U32>) -> List<&2, U32>:
167  take(248n, iteration(key))