def int32.fin

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:442

import bendonnect-rpc@0.1.0.0/src/pbjson.bend as Pbjson

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

442def int32.fin(m: Maybe<&2, Pb.Word64>) -> Maybe<&2, U32>:
443  match m:
444    case None{}:
445      None{}
446    case Some{w}:
447      Pb.Word64{+h, +l} = w
448      Bool.pick(Maybe<&2, U32>, U32.is_eq(h, (0 - (l >> 31n) : U32)), Some{l}, None{})

Uses (7)

Used by (1)

bendonnect-rpc@0.1.0.0/src/pbjson:parse.int32