~/jendhub

def read_s.pos

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

import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb
import Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb

221def read_s.pos(m: Maybe<&2, Pb.Word64>) -> Maybe<&2, Pb.Word64>:
222  match m:
223    case None{}:
224      None{}
225    case Some{w}:
226      Pb.Word64{+h, +l} = w
227      Bool.pick(Maybe<&2, Pb.Word64>, U32.is_lt(h, 2147483648), Some{Pb.Word64{h, l}}, None{})

Uses (4)

Used by (1)