def add_fin

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:57

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

57def add_fin(+l: U32, +al: U32, +ah: U32, +bh: U32) -> W.U64:
58  W.U64{l, U32.add(U32.add(ah, bh), b32(U32.is_lt(l, al)))}