def path_bit

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

import Base

100# Build the root-to-leaf path by consuming low bits while prepending them.
101def path_bit(rem: Nat) -> Bool:
102  match rem:
103    case 0n:
104      False{}
105    case 1n+r:
106      True{}