type Model

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:37

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

37type Model<-Element: Data> is Data:
38  Model{tree: Tree.Tree<Element>,length: Nat,certificate: Certificate.Certificate<Element,Tree.pack(Element,tree)>}