def add

bend-collections-laws-math@1.0.0.0 · src/math/u64.bend:36

import Base

36# Wrapping 64-bit addition.
37def add(a: U64, b: U64) -> U64:
38  U64{+alo, +ahi} = a
39  U64{+blo, +bhi} = b
40  add_fin(U32.add(alo, blo), alo, ahi, bhi)