def sequence_owner

stelliferous@0.0.2.0 · proofs/storage_refinement.bend:370

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

370def sequence_owner(-Element: Data,-length: Nat,-values: List<&2,Element>,
371  evidence: SequenceEvidence<Element,length,values>) -> Array<Element>:
372  Tree.pack(Element,sequence_storage(Element,length,values,evidence))

Uses (6)

Used by (3)