def content

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:40

import Base

40def content(~Element: Data,model: Model<Element>) -> Content<Element>:
41  Model{tree,length,certificate} = model
42  Content{tree,length}