type NodeWitness

stelliferous@0.0.2.0 · proofs/storage_witness.bend:16

import Base

16type NodeWitness<-Element: Data,-depth: Nat,-storage: Array<Element>> is Data:
17  Node{-left: Array<Element>,-right: Array<Element>,owner: {storage == ANode{left,right} : Array<Element>},
18    left_balanced: Witness(Element,depth,left),right_balanced: Witness(Element,depth,right)}