def read_or
import stelliferous@0.0.2.0/storage_buffer.bend as StorageBufferimport Base
76def read_or(~Element: Data,fallback: Element,storage: Array<Element>,index: U32,logical_length: U32) -> Array<Element> & Element:
77 read_sized(Element,fallback,index,logical_length,Array.size(Element,storage))
Uses (5)
Used by (7)
- stelliferous@0.0.2.0/proofs/storage_refinement:read_sequence_evidence
- stelliferous@0.0.2.0/proofs/storage_refinement:bounded_read
- stelliferous@0.0.2.0/proofs/storage_refinement:bounded_read_observation
- stelliferous@0.0.2.0/proofs/storage_refinement:bounded_read_observation_case
- stelliferous@0.0.2.0/proofs/storage_refinement:bounded_read_is_get
- …