def join
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
239def join(l: T.Out, r: T.Out, alone: Bool) -> T.Out:
240 match alone:
241 case True{}: l
242 case False{}: parent(cv(l),cv(r))
Uses (4)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3:tree
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:tree_con
- 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/tree:complete_step
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:partial_big
- …