type Tree
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/array.bend as Arrayimport Base
3# A duplicable proof-only description of an array. Never used by the hash (copied from proofs/crypto/keccak/array.bend).
4type Tree is Data:
5 Leaf{value: U32}
6 Node{left: Tree, right: Tree}
Uses (1)
Used by (12)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/array:thaw
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/array:reify
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/array:reify_node
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/chunk:full_chunk_view
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/chunk:full_step
- …