def openapi.renamed

import ezmcp@0.1.0.0/main.bend as Ezmcp

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

311# an operation under another tool name, for a client that limits names
312def openapi.renamed(op: Openapi.Op, name: String) -> Openapi.Op:
313  Openapi.renamed(op, name)

Uses (3)

String
ezmcp@0.1.0.0/src/openapi:Op
ezmcp@0.1.0.0/src/openapi:renamed

Used by (0)

No other definition uses this definition.