testBit package:what4

testBit :: NatRepr w -> BVDomain w -> Natural -> Maybe Bool
what4 What4.Utils.BVDomain
Return Just if every bitvector in the domain has the same bit at the given index.
testBit :: Domain w -> Natural -> Maybe Bool
what4 What4.Utils.BVDomain.Bitwise
testBitBV :: (IsExprBuilder sym, 1 <= w) => sym -> Natural -> SymBV sym w -> IO (Pred sym)
what4 What4.Interface
Returns true if the corresponding bit in the bitvector is set.
bvTestBit :: SupportTermOps v => NatRepr w -> Natural -> v -> v
what4 What4.Protocol.SMTWriter
bvTestBit w i x returns predicate that holds if bit i in x is set to true. w should be the number of bits in x.