~/jendhub

def mul_32_64_fin

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

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

293# the product of a U32 and a U64 as (low 64 bits, top 32 bits)
294def mul_32_64_fin(+p0: W.U64, +p1: W.U64) -> W.U64 & U32:
295  (W.U64{lo(p0), U32.add(hi(p0), lo(p1))}, U32.add(hi(p1), b32(U32.is_lt(U32.add(hi(p0), lo(p1)), hi(p0)))))

Uses (9)

Used by (1)