type Certificate

stelliferous@0.0.2.0 · proofs/storage_certificate.bend:58

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

58type Certificate<-Element: Data,-storage: Array<Element>> is Data:
59  Certificate{depth: Nat,equation: {storage == Tree.pack(Element,normalized(Element,depth,Tree.reflect(Element,storage))) : Array<Element>}}