def bitw.ctz.step

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

import Base

95def bitw.ctz.step(b: Bool, k: Nat) -> Nat:
96  match b:
97    case True{}:
98      0n
99    case False{}:
100      1n+k