def pack_tree

stelliferous@0.0.2.0 · proofs/traversal_array_refinement.bend:62

import stelliferous@0.0.2.0/proofs/traversal_array_refinement.bend as TraversalArrayRefinement

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

62def pack_tree(~Element: Data,tree: Tree.Tree<Element>) -> Array<Element>:
63  Tree.pack(Element,tree)

Uses (3)

Used by (2)