Data.SBV.Examples.BitPrecise.BitTricks

fastMinCorrect

fastMaxCorrect

oppositeSignsCorrect

conditionalSetClearCorrect

powerOfTwoCorrect

queries