def stored

stelliferous@0.0.2.0 · proofs/storage_witness.bend:198

import Base

198def stored(-Element: Data,-storage: Array<Element>,+index: U32,-value: Element,evidence: ArrayWitness<Element,storage>) ->
199  ArrayWitness<Element,Array.set(Element,storage,index,value)>:
200  ArrayWitness{+depth,witness} = evidence
201  ArrayWitness{depth,write(Element,depth,storage,index,value,witness)}