Openapi.renamed: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 1057-1061 of ezmcp@0.1.0.0/src/openapi.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/openapi.bend&start_line=1057&end_line=1061

import Base

# an operation under another tool name, all else as it was
def renamed(oper: Op, to: String) -> Op:
  match oper:
    case Op{name, description, input, method, path, params, media}:
      Op{to, description, input, method, path, params, media}

Uses (2):
  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/openapi.bend&name=Op