StorageTreeModel.Tree: type of stelliferous@0.0.2.0 Import: import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as StorageTreeModel Lines 5-7 of stelliferous@0.0.2.0/proofs/storage_tree_model.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/storage_tree_model.bend&start_line=5&end_line=7 import Base type Tree<-T: Data> is Data: Leaf{value: T} Node{left: Tree,right: Tree} Uses (0):