def join_false

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake3/tree.bend:162

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as S

162def join_false(+l: T.Out, +r: T.Out) -> {S.join(l,r,False{}) == S.parent(S.cv(l),S.cv(r)) : T.Out}:
163  {==}