def bitw.fls

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

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

import Base

86def bitw.fls(n: Nat, w: Word(n)) -> Nat:
87  match n:
88    case 0n:
89      0n
90    case 1n+p:
91      match w:
92        case WCon{b, t}:
93          bitw.fls.step(bitw.fls(p, t), b)

Uses (4)

Used by (16)