def cv
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
219# A node's chaining value: its compression with its own flags.
220def cv(o: T.Out) -> T.CV:
221 match o:
222 case T.Out{c,b,t,len,flags}: compress(c,b,t,len,flags)
Uses (3)
Used by (10)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/chunk:outcv
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3:join
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:out_cv_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:join_false
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/loop:fuse_step2
- …