def neg
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U64import Base
45# Two's-complement negation.
46def neg(a: U64) -> U64:
47 U64{+lo, +hi} = a
48 neg_fin(U32.inc(U32.not(lo)), hi)
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U64import Base
45# Two's-complement negation.
46def neg(a: U64) -> U64:
47 U64{+lo, +hi} = a
48 neg_fin(U32.inc(U32.not(lo)), hi)