~/jendhub

def write_sequence

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:51

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

51def write_sequence(~Element: Data,values: List<&2,Element>,+offset: U32,tree: Tree<Element>) -> Tree<Element>:
52  match values:
53    case Nil{}: tree
54    case head <> tail:
55      write_sequence(~Element,tail,(offset + 1 : U32),write(Element,tree,offset,head))

Uses (5)

Used by (1)