Rpc.reply: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/rpc.bend as Rpc
Lines 228-235 of ezmcp@0.1.0.0/src/rpc.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/rpc.bend&start_line=228&end_line=235

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

# the reply to a request with this id (MCP basic#responses)
def reply(id: Value.Json, out: Out) -> Value.Json:
  match out:
    case Ok{result}:
      Json.obj([("jsonrpc", Json.str("2.0")), ("id", id), ("result", result)])
    case Err{c, message}:
      Json.obj([("jsonrpc", Json.str("2.0")), ("id", id),
        ("error", error.obj(c, message))])

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=obj
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=str
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=error.obj