Ezmcp.openapi.tool: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/main.bend as Ezmcp
Lines 303-305 of ezmcp@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/main.bend&start_line=303&end_line=305

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

# an operation's tool: its name, description and input schema
def openapi.tool(op: Openapi.Op) -> Server.Tool:
  Openapi.tool(op)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=Op
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=tool
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=Tool