def add_over_value

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/w64add.bend:153

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/w64.bend as SW
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as WU

153def add_over_value(+a: WU.U64, +b: WU.U64) -> SW.AddOver.value(a, b):
154  match a b:
155    case WU.U64{+al, +ah} WU.U64{+bl, +bh}:
156      over_g(1n, {==}, al, ah, bl, bh, 4294967295, {==})