Pb.lift2: def of bendonnect-rpc@0.1.0.0 Import: import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb Lines 271-276 of bendonnect-rpc@0.1.0.0/src/pb.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&start_line=271&end_line=276 import Base import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb def lift2(-T: Data, what: String, r: Result<&2, &2, Pb.Error, T>) -> Result<&2, &1, String, T>: match r: case Fail{e}: Fail{what} case Done{x}: Done{x} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Error