def tree

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:48

import stelliferous@0.0.2.0/proofs/storage_buffer_model.bend as StorageBufferModel

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

48def tree(~Element: Data,model: Model<Element>) -> Tree.Tree<Element>:
49  Model{tree,length,certificate} = model
50  tree

Uses (2)

Used by (4)