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

import Base

# a method's role
def role(mm: Method) -> Role:
  match mm:
    case MInitialize{}:
      RRequest{}
    case MShutdown{}:
      RRequest{}
    case MExit{}:
      RExit{}
    case MOpen{}:
      RNotice{}
    case MChange{}:
      RNotice{}
    case MSave{}:
      RNotice{}
    case MClose{}:
      RNotice{}
    case MHover{}:
      RRequest{}
    case MDefinition{}:
      RRequest{}
    case MSymbols{}:
      RRequest{}
    case MCompletion{}:
      RRequest{}
    case MReferences{}:
      RRequest{}
    case MRename{}:
      RRequest{}
    case MSemantic{}:
      RRequest{}
    case MOther{}:
      RUnknown{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Method
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Role