type Tree
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/array.bend as Arrayimport Base
17type Tree<-T: Data> is Data:
18 TLeaf{value: T}
19 TNode{lo: Tree<T>, hi: Tree<T>}
Uses (0)
This definition uses no other definition.
Used by (33)
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/array:thaw
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/array:perfect
- bend-collections-laws-crypto@1.0.0.0/proofs/lib/array:slots
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:mt
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/memory:tree
- …