def W2.sub.of

bend-kit-f64@0.1.0.0 · f64.bend:118

import Base

118def W2.sub.of(ah: U32, bh: U32, al: U32, bl: U32, lo: U32) -> W2:
119  W2{(ah - bh - u01(U32.is_lt(al, bl)) : U32), lo}