def as_block
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T
153def as_block(pair: Array<U32> & List<&2,U32>) -> Array<U32> & T.Block:
154 (a,ws) = pair
155 (a,block_of(ws))
Uses (7)
Used by (17)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3:read_block
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/read:read0_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/read:read10_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/read:read11_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/read:read12_correct
- …