def carry32

bend-collections-laws-math@1.0.0.0 · proofs/math/u64/u64.bend:166

import Base
import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/addition.bend as AD

166def carry32(+x: U32, +y: U32) -> Bool:
167  match x y:
168    case U32{a} U32{b}:
169      AD.carry_out(32n, a, b, False{})