def u64_add

bend-collections-laws-math@1.0.0.0 · proofs/math/proof.bend:40

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U
import bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64.bend as P
import bend-collections-laws-math@1.0.0.0/spec/math/u64.bend as SU

40def u64_add(+a: U.U64, +b: U.U64) -> SU.Add.bits(a, b):
41  P.add(a, b)