def ChaCha8.stream
import bend-collections-laws-math@1.0.0.0/proofs/math/random/proof.bend as Proofimport Base
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.bend as SRM
import bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream.bend as CS
20def ChaCha8.stream(+n: Nat, +k: B.Key) -> SRM.ChaCha8.stream(n, k):
21 CS.stream(n, k)
Uses (4)
Used by (0)
No other definition uses this definition.