Server.unknown: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/server.bend as Server
Lines 179-185 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=179&end_line=185

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

# a request the server does not know is refused; a notification is ignored
def unknown(id: J.Json) -> List<&2, Reply>:
  match id:
    case J.JNull{}:
      []
    case other:
      [RError{other, "-32601", "method not found"}]

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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