def neg_fin

bend-collections-laws-crypto@1.0.0.0 · src/math/u64.bend:42

import Base

42def neg_fin(+lo2: U32, +hi: U32) -> U64:
43  U64{lo2, U32.add(U32.not(hi), carry(U32.is_zero(lo2)))}