Data.SBV.Plugin.Examples.BitTricks

elem

oneIf

fastMinCorrect

fastMaxCorrect

oppositeSignsCorrect

conditionalSetClearCorrect

powerOfTwoCorrect

maskedMergeCorrect

roundPowerOfTwoCorrect

zeroInWord