def array_evidence

stelliferous@0.0.2.0 · proofs/traversal_witness.bend:70

import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness

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

70def array_evidence(~Element: Data,-storage: Array<Element>) -> Data:
71  Witness.ArrayWitness<Element,storage>

Uses (2)

Used by (14)