type Read

stelliferous@0.0.2.0 · proofs/storage_witness.bend:140

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

import Base

140# Reading returns precisely the original affine owner. The observed element is
141# an erased index of this proof; no runtime sample is copied into evidence.
142type Read<-Element: Data,-storage: Array<Element>,-result: Array<Element> & Element> is Data:
143  Read{-value: Element,equation: {result == (storage,value) : Array<Element> & Element}}

Uses (3)

Used by (20)