Openapi.describe: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 728-737 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=728&end_line=737

import Base

# a tool's description: the operation's description, else its summary,
# each when it is a non-empty string, else the method and path it runs
def describe(
  desc: Maybe<&2, String>,
  summary: Maybe<&2, String>,
  +method: String,
  path: String
) -> String:
  Maybe.default(&2, String, first(full(desc), full(summary)),
    "Executes " ++ String.to_upper(method) ++ " " ++ path)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_upper
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=first
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=full