Server.respond: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/server.bend as Server
Lines 171-177 of bolt@1.27.0.0/src/lsp/server.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/server.bend&start_line=171&end_line=177

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J

# the response to the request with this id
def respond(id: J.Json, aa: Answer) -> Reply:
  match aa:
    case Answer{result}:
      RResult{id, result}
    case Refusal{code, message}:
      RError{id, code, message}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json