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