def of_key
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend as Chacha8import Base
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend as B
42def of_key(k: B.Key) -> ChaCha8:
43 C{k, G0{}, []}
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend as Chacha8import Base
import bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend as B
42def of_key(k: B.Key) -> ChaCha8:
43 C{k, G0{}, []}