Data.SBV.Examples.BitPrecise.MultMask

maskAndMult