def bitw.popcount.step

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

import Base

37def bitw.popcount.step(b: Bool, k: Nat) -> Nat:
38  match b:
39    case True{}:
40      1n+k
41    case False{}:
42      k