def W64.add

bendtorch-load@1.3.0.0 · main.bend:42

import Base

42# a + b, wrapping at 2^64: the low words' sum carries one when it wrapped (it is then below either term)
43def W64.add(a: W64, b: W64) -> W64:
44  match a b:
45    case W64{ah, +al} W64{bh, bl}: W64.add_go(ah, bh, (al + bl : U32), al)