Web.route: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/web.bend as Web
Lines 187-202 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=187&end_line=202

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

# the decision over a request's parts: the path first, then the Origin, then
# the method, then the protocol version (its MCP-Protocol-Version header,
# empty when absent), then the body
def route(
  srv: Server.Server,
  here: Bool,
  allowed: Bool,
  is_post: Bool,
  header: String,
  body: String
) -> Web:
  match here:
    case False{}:
      text(404, "Not Found")
    case True{}:
      origin(srv, body, header, is_post, allowed)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Server
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=Web
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=origin
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=text