def add_hi
import bend-collections-laws-crypto@1.0.0.0/proofs/math/u64/u64.bend as U64import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as U
194def add_hi(ahi: U32, bhi: U32, c: Bool) -> U32:
195 U32.add(U32.add(ahi, bhi), U.carry(c))
Uses (4)
Used by (0)
No other definition uses this definition.