def bitw.ffs

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

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

import Base

65def bitw.ffs(n: Nat, w: Word(n)) -> Nat:
66  match n:
67    case 0n:
68      0n
69    case 1n+p:
70      match w:
71        case WCon{b, t}:
72          bitw.ffs.step(b, bitw.ffs(p, t))

Uses (4)

Used by (14)