type Tree
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as StorageTreeModelimport Base
5type Tree<-T: Data> is Data:
6 Leaf{value: T}
7 Node{left: Tree<T>,right: Tree<T>}
Uses (0)
This definition uses no other definition.
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as StorageTreeModelimport Base
5type Tree<-T: Data> is Data:
6 Leaf{value: T}
7 Node{left: Tree<T>,right: Tree<T>}
This definition uses no other definition.