def read_s.neg

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

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

211def read_s.neg(m: Maybe<&2, Pb.Word64>) -> Maybe<&2, Pb.Word64>:
212  match m:
213    case None{}:
214      None{}
215    case Some{w}:
216      Pb.Word64{+h, +l} = w
217      Bool.pick(Maybe<&2, Pb.Word64>,
218        U32.is_lt(h, 2147483648) || (U32.is_eq(h, 2147483648) && U32.is_zero(l)),
219        Some{word64.neg(Pb.Word64{h, l})}, None{})