def represent_map

stelliferous@0.0.2.0 · proofs/traversal_array_refinement.bend:134

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

134# In-place transforms retain one owner and use the same generic loop lifting.
135def represent_map(~Element: Data,~Context: Data,
136  state: Traversal.State<&2,&2,Unit,Tree.Tree<Element>,Context>) -> Traversal.State<&2,&1,Unit,Array<Element>,Context>:
137  Traversal.State{Unit{},output,position,context} = state
138  Traversal.State{Unit{},Tree.pack(Element,output),position,context}