def path_bit

mylsm-lsm-store@0.6.0.1 · src/BitTree.bend:91

import Base

91# Build the root-to-leaf path by consuming low bits while prepending them.
92def path_bit(rem: Nat) -> Bool:
93  match rem:
94    case 0n:
95      False{}
96    case 1n+r:
97      True{}