Web.version.ok: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/web.bend as Web
Lines 129-132 of ezmcp@0.1.0.0/src/web.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/web.bend&start_line=129&end_line=132

import Base
import ezmcp@0.1.0.0/src/server.bend as Server

# whether an MCP-Protocol-Version header is acceptable: absent, or a
# revision ezmcp speaks
def version.ok(+val: String) -> Bool:
  Bool.or(String.is_empty(val), Server.supported(val))

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