def W64.mul
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
42def W64.mul(a: W64, b: W64) -> W64:
43 match a b:
44 case W64{+ah, +al} W64{+bh, +bl}:
45 W64.mul.of(((al * bh) + (ah * bl) : U32), mul32(al, bl))
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
42def W64.mul(a: W64, b: W64) -> W64:
43 match a b:
44 case W64{+ah, +al} W64{+bh, +bl}:
45 W64.mul.of(((al * bh) + (ah * bl) : U32), mul32(al, bl))