def word64.of_i32

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

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

50# Sign-extends a 32-bit two's complement value.
51def word64.of_i32(+x: U32) -> Pb.Word64:
52  Pb.Word64{(0 - (x >> 31n) : U32), x}