def bits64.test
import bend-osdev-algo@0.1.0.0/algo.bend as Algoimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
169# bit k of a (False for k >= 64)
170def bits64.test(a: W.W64, k: Nat) -> Bool:
171 bitw.test(64n, bits64.word(a), k)
import bend-osdev-algo@0.1.0.0/algo.bend as Algoimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
169# bit k of a (False for k >= 64)
170def bits64.test(a: W.W64, k: Nat) -> Bool:
171 bitw.test(64n, bits64.word(a), k)