def mul_32_64

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:297

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

297def mul_32_64(+q: U32, +b: W.U64) -> W.U64 & U32:
298  mul_32_64_fin(mul32(q, lo(b)), mul32(q, hi(b)))