type Tree
import stelliferous@0.0.2.0/traversal_partition.bend as TraversalPartitionimport Base
6type Tree<ownership,-Block: Kind(ownership),-Details: Data> is Kind(ownership):
7 Leaf{data: Block,offset: U32,span: U32,details: Details}
8 Fork{left: Tree<ownership,Block,Details>,right: Tree<ownership,Block,Details>}