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

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

# a POST: the decision on its MCP-Protocol-Version header, empty when absent
def post(srv: Server.Server, body: String, +header: String) -> Web:
  post.ok(srv, body, header, version.ok(header))

Uses (5):
  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=post.ok
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/web.bend&name=version.ok