type Tree

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:5

import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as StorageTreeModel
import 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.

Used by (125)