Data.SBV.Examples.Existentials.CRCPolynomial

Modeling 48 bit words

type SWord48

crc_48_16

diffCount

crcGood

genPoly

findHD4Polynomials