def stream

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

205# the first n 64-bit outputs of ChaCha8Rand keyed by key (eight words)
206def stream(n: Nat, +key: List<&2, U32>) -> List<&2, W.U64>:
207  stream_go(n, [], key)