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

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

# the dispatcher's decision for one message, whatever its method's work gave:
# a request gets one response with its id, a notification its notices, exit
# stops, and a method it does not know is refused or ignored
def step(mm: Method, id: J.Json, ww: Work) -> Out:
  step.go(role(mm), id, ww)

Uses (6):
  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=Out
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Work
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=step.go
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json