def renamed
import ezmcp@0.1.0.0/src/openapi.bend as Openapiimport Base
1057# an operation under another tool name, all else as it was
1058def renamed(oper: Op, to: String) -> Op:
1059 match oper:
1060 case Op{name, description, input, method, path, params, media}:
1061 Op{to, description, input, method, path, params, media}