def gw
bend-collections-laws-math@1.0.0.0 · proofs/math/random/chacha8/stream.bend:54
import bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream.bend as Stream
import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend as B
import bend-collections-laws-math@1.0.0.0/spec/math/random/chacha8rand.bend as S
54def gw(+k: B.Key, +c: U32) -> List<&2, W.U64>:
55 S.words64(S.group(S.key_list(k), c))