Data.SBV.Plugin.Examples.BitTricks

oneIf

fastMinCorrect

fastMaxCorrect

oppositeSignsCorrect

conditionalSetClearCorrect

powerOfTwoCorrect