def mul_32_64
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections@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)))
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections@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)))