def Hex.GF2Poly.mulWords (xs ys : Array UInt64) : Array UInt64

Raw packed-word multiplication before trailing zero normalization.

Equations

• One or more equations did not get rendered due to their size.