def value

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:20

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

20def value(~Element: Data,index: U32,content: Content<Element>) -> Element:
21  Content{tree,length} = content
22  Tree.read(Element,tree,index)