def array_sample

stelliferous@0.0.2.0 · proofs/traversal_witness.bend:73

import Base
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness

73def array_sample(~Element: Data,-storage: Array<Element>,-result: Array<Element> & Element,
74  read: Witness.Read<Element,storage,result>) -> Sample<Array<Element>,Element,storage,result>:
75  match read:
76    case Witness.Read{value,equation}: Sample{value,equation}