def bitw.at1

bend-osdev-algo@0.1.0.0 · PROOF.bend:187

import Base
import bend-osdev-algo@0.1.0.0/algo.bend as A

187def bitw.at1(n: Nat, w: Word(n), m: Nat) -> Bool:
188  match m:
189    case 0n:
190      False{}
191    case 1n+k:
192      A.bitw.test(n, w, k)