def fetch

stelliferous@0.0.2.0 · proofs/storage_tree_model.bend:34

import Base

34def fetch(-T: Data,tree: Tree<T>,+n: U32,+i: U32) -> T:
35  match tree:
36    case Leaf{v}:
37      v
38    case Node{l,r}:
39      Bool.pick(T,U32.is_lt(i,U32.shr(n)),fetch(T,l,U32.shr(n),i),fetch(T,r,U32.shr(n),U32.sub(i,U32.shr(n))))