def ChaCha8.seeded
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/spec/math/random.bend as SRM
import bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/seed.bend as SEED
23def ChaCha8.seeded(+n: Nat, +seed: List<&2, U32>) -> SRM.ChaCha8.seeded(n, seed):
24 SEED.seeded(n, seed)
Uses (5)
Used by (0)
No other definition uses this definition.