Rpcmsg.response: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/rpcmsg.bend as Rpcmsg Lines 237-241 of cswap-bend-cli@0.1.0.0/rpcmsg.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&start_line=237&end_line=241 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd import cswap-bend-cli@0.1.0.0/fmt/out.bend as O # The response document for a command's output. def response(+id: Json.Json, o: Cmd.Out) -> Json.Json: match o: case Cmd.Out{+code, out, +err}: response2(U32.is_eq(code, 0), id, code, err, O.doc_of(Cmd.Out{code, out, err})) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/out.bend&name=doc_of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&name=response2