def read.uint64
import bendonnect-rpc@0.1.0.0/src/pb.bend as Pbimport Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb
467def read.uint64(v: Pb.Value) -> Result<&2, &1, String, Pb.Word64>:
468 lift2(Pb.Word64, "protobuf: wire type mismatch for uint64", Pb.to_uint64(v))