~/jendhub

type LeafWitness

stelliferous@0.0.2.0 · proofs/storage_witness.bend:13

import stelliferous@0.0.2.0/proofs/storage_witness.bend as StorageWitness
import Base

13type LeafWitness<-Element: Data,-storage: Array<Element>> is Data:
14  Leaf{-value: Element,owner: {storage == ALeaf{value} : Array<Element>}}

Uses (1)

Used by (9)