def prod

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/blamka.bend:13

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

13# The full 64-bit product of two U32 (src/math/w64.bend, proved).
14def prod(+a: U32, +b: U32) -> T.Lane:
15  +m = X.mul32(a,b)
16  T.W{X.lo(m),X.hi(m)}