def bits32.test
import bend-osdev-algo@0.1.0.0/algo.bend as Algoimport Base
139# bit k of x (False for k >= 32)
140def bits32.test(x: U32, k: Nat) -> Bool:
141 bitw.test(32n, bits32.word(x), k)
import bend-osdev-algo@0.1.0.0/algo.bend as Algoimport Base
139# bit k of x (False for k >= 32)
140def bits32.test(x: U32, k: Nat) -> Bool:
141 bitw.test(32n, bits32.word(x), k)