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

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

def step.go(rr: Role, id: J.Json, ww: Work) -> Out:
  match rr:
    case RRequest{}:
      Work{notes, answer, docs} = ww
      Out{[respond(id, answer)], False{}, docs}
    case RNotice{}:
      Work{notes, answer, docs} = ww
      Out{notices(notes), False{}, docs}
    case RExit{}:
      Work{notes, answer, docs} = ww
      Out{[], True{}, docs}
    case RUnknown{}:
      Work{notes, answer, docs} = ww
      Out{unknown(id), False{}, docs}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Out
  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=Work
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=notices
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=respond
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=unknown
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json