def word64.of_u32

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

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

47def word64.of_u32(+x: U32) -> Pb.Word64:
48  Pb.Word64{0, x}