type Content

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:13

import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

13type Content<-Element: Data> is Data:
14  Content{tree: Tree.Tree<Element>,length: Nat}