def W2.inc.carry
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
160def W2.inc.carry(z: Bool, hi: U32, lo: U32) -> W2:
161 match z:
162 case False{}:
163 W2{hi, lo}
164 case True{}:
165 W2{(hi + 1 : U32), lo}
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
160def W2.inc.carry(z: Bool, hi: U32, lo: U32) -> W2:
161 match z:
162 case False{}:
163 W2{hi, lo}
164 case True{}:
165 W2{(hi + 1 : U32), lo}