Server.negotiate: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/server.bend as Server
Lines 82-88 of ezmcp@0.1.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/server.bend&start_line=82&end_line=88

import Base

# the revision answered to an initialize request's, if it names one
def negotiate(asked: Maybe<&2, String>) -> String:
  match asked:
    case None{}:
      latest()
    case Some{+v}:
      negotiate.of(v, supported(v))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=latest
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=negotiate.of
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=supported