def observed

stelliferous@0.0.2.0 · proofs/storage_witness.bend:203

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

import Base

203def observed(-Element: Data,-storage: Array<Element>,index: U32,evidence: ArrayWitness<Element,storage>) ->
204  Read<Element,storage,Array.get(Element,storage,index)>:
205  ArrayWitness{depth,witness} = evidence
206  read(Element,depth,storage,index,witness)

Uses (6)

Used by (14)