def path

bolt@1.27.0.0 · src/rules/suspicious/unused.bend:132

import Base

132# a line's way down the index: its low bits, lowest first
133def path(dd: Nat, +key: U32) -> List<&2, Bool>:
134  match dd:
135    case 0n:
136      Nil{}
137    case 1n+p:
138      U32.is_even(key) <> path(p, U32.shr(key))