def W64.add_go

bendtorch-load@1.3.0.0 · main.bend:39

import Base

39def W64.add_go(+ah: U32, +bh: U32, +s: U32, +al: U32) -> W64:
40  W64{((ah + bh : U32) + W64.bit(U32.is_lt(s, al)) : U32), s}