def bitw.index

bend-osdev-algo@0.1.0.0 · algo.bend:114

import Base

114# a 1-based position (ffs, fls) as a 0-based index
115def bitw.index(m: Nat) -> Maybe<&2, Nat>:
116  match m:
117    case 0n:
118      None{}
119    case 1n+k:
120      Some{k}