def bitw.ctz

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

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

import Base

102def bitw.ctz(n: Nat, w: Word(n)) -> Nat:
103  match n:
104    case 0n:
105      0n
106    case 1n+p:
107      match w:
108        case WCon{b, t}:
109          bitw.ctz.step(b, bitw.ctz(p, t))

Uses (4)

Used by (5)