def add_fin

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

import Base

33def add_fin(+lo: U32, +alo: U32, +ahi: U32, +bhi: U32) -> U64:
34  U64{lo, U32.add(U32.add(ahi, bhi), carry(U32.is_lt(lo, alo)))}