~/jendhub

def content_tree

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:24

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

24def content_tree(~Element: Data,content: Content<Element>) -> Tree.Tree<Element>:
25  Content{tree,length} = content
26  tree

Uses (2)

Used by (1)