law Witness
import stelliferous@0.0.2.0/proofs/storage_witness.bend as StorageWitnessimport Base
7law Witness:
8 for -Element: Data
9 for depth: Nat
10 for storage: Array<Element>
11 Data
import stelliferous@0.0.2.0/proofs/storage_witness.bend as StorageWitnessimport Base
7law Witness:
8 for -Element: Data
9 for depth: Nat
10 for storage: Array<Element>
11 Data