type ArrayWitness

stelliferous@0.0.2.0 · proofs/storage_witness.bend:191

import Base

191# Existential depth travels with proof data, not numerical storage.
192type ArrayWitness<-Element: Data,-storage: Array<Element>> is Data:
193  ArrayWitness{depth: Nat,witness: Witness(Element,depth,storage)}