Searched refs:bvUn (Results 1 – 1 of 1) sorted by relevance
459 bvUn :: forall sym. IsExprBuilder sym =>462 bvUn f sym (DBV bv) = DBV <$> f sym bv function463 bvUn _ _ ZBV = return ZBV function512 bvNot = bvUn W.bvNotBits530 bvNeg = bvUn W.bvNeg546 bvPopcount = bvUn W.bvPopcount549 bvCountLeadingZeros = bvUn W.bvCountLeadingZeros552 bvCountTrailingZeros = bvUn W.bvCountTrailingZeros603 bvLg2 = bvUn w_bvLg2