def read_sequence

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:57

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

import Base

57def read_sequence(~Element: Data,count: Nat,+offset: U32,+tree: Tree<Element>) -> List<&2,Element>:
58  match count:
59    case 0n: Nil{}
60    case 1n+rest:
61      read(Element,tree,offset) <> read_sequence(~Element,rest,(offset + 1 : U32),tree)

Uses (6)

Used by (10)