def word64.neg

bendonnect-rpc@0.1.0.0 · src/pb.bend:75

import Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb

75# Two's complement negation.
76def word64.neg(w: Pb.Word64) -> Pb.Word64:
77  Pb.Word64{+h, +l} = w
78  Pb.Word64{(0 - h - Bool.to_u32(Bool.not(U32.is_zero(l))) : U32), (0 - l : U32)}