Data.SBV.Examples.BitPrecise.BitTricks
fastMinCorrect
fastMaxCorrect
oppositeSignsCorrect
conditionalSetClearCorrect
powerOfTwoCorrect
queries