def mul32_fin

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

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

82def mul32_fin(+ll: U32, +mid: U32, +hh: U32, mc: Bool) -> W.U64:
83  add_fin(U32.add(ll, U32.mul(mid, 65536)), ll, hh, U32.add(U32.shrn(mid, 16n), U32.mul(b32(mc), 65536)))