def redc32_r
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
660def redc32_r(+m: U32, +r: W.U64) -> U32:
661 sub_if32(r, m, le(W.U64{m, 0}, r))
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as W64import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
660def redc32_r(+m: U32, +r: W.U64) -> U32:
661 sub_if32(r, m, le(W.U64{m, 0}, r))