def parent_block
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3.bend as Blake3import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T
143def parent_block(l: T.CV, r: T.CV) -> T.Block:
144 match l r:
145 case T.CV{l0,l1,l2,l3,l4,l5,l6,l7} T.CV{r0,r1,r2,r3,r4,r5,r6,r7}:
146 T.B{l0,l1,l2,l3,l4,l5,l6,l7,r0,r1,r2,r3,r4,r5,r6,r7}
Uses (2)
Used by (4)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3:parent_cv
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3:parent_out
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:parent_block_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:parent_cv_correct