openapi: 3.1.0
info:
  title: Pedro's pet shop
  version: 1.0.0
paths:
  /pets:
    get:
      operationId: listPets
      responses:
        '200':
          description: Here are your pets.