~/jendhub

def uint32.fin

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

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

450def uint32.fin(m: Maybe<&2, Pb.Word64>) -> Maybe<&2, U32>:
451  match m:
452    case None{}:
453      None{}
454    case Some{w}:
455      Pb.Word64{+h, +l} = w
456      Bool.pick(Maybe<&2, U32>, U32.is_zero(h), Some{l}, None{})

Uses (5)

Used by (1)