def sequence_storage

stelliferous@0.0.2.0 · proofs/storage_refinement.bend:365

import stelliferous@0.0.2.0/proofs/storage_refinement.bend as StorageRefinement

import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

365def sequence_storage(-Element: Data,-length: Nat,-values: List<&2,Element>,
366  evidence: SequenceEvidence<Element,length,values>) -> Tree.Tree<Element>:
367  SequenceEvidence{storage,contents,room} = evidence
368  storage

Uses (4)

Used by (2)