def bitw.ctz_spec

import bend-osdev-algo@0.1.0.0/PROOF.bend as PROOF

import Base

424def bitw.ctz_spec(+n: Nat, m: Nat) -> Nat:
425  match m:
426    case 0n:
427      n
428    case 1n+k:
429      k

Uses (1)