def index_path

mylsm-lsm-store@0.3.2.0 · src/BitTree.bend:108

import mylsm-lsm-store@0.3.2.0/src/BitTree.bend as BitTree

import Base

108def index_path(height: Nat, +index: Nat, acc: List<&2, Bool>) -> List<&2, Bool>:
109  match height:
110    case 0n:
111      acc
112    case 1n+h:
113      index_path(h, Nat.div(index, 2n), Con{path_bit(Nat.mod(index, 2n)), acc})

Uses (6)

Used by (2)