def stored

stelliferous@0.0.2.0 · proofs/storage_certificate.bend:92

import Base

92def stored(-Element: Data,-storage: Array<Element>,index: U32,-value: Element,certificate: Certificate<Element,storage>) ->
93  Certificate<Element,Array.set(Element,storage,index,value)>:
94  Certificate{+depth,equation} = certificate
95  Certificate{depth,stored_equation(Element,depth,storage,index,value,equation)}