action autodealerdata_get_dealers_get_dealers_get {
  label: "Premium. Dealers in a zip code."
  description: "Premium. Dealership information in a given zip code using the first 4 digits. Returns name, address, state, zipCode, and IDs.\nFor example a call with the zip code 92701 would return dealers with zip codes in the range [92700, 92709]"
  provider: autodealerdata
  method: GET
  path: "/getDealers"
  encoding: json
  input: {
    type: "object"
    properties: {
      jwt: {
        type: "string"
      }
      zipCode: {
        type: "integer"
      }
    }
    required: ["jwt", "zipCode"]
    additionalProperties: false
  }
  output: {
    type: "object"
    required: ["data"]
    properties: {
      brandName: {
        type: "string"
      }
      cacheTimeLimit: {
        type: "integer"
      }
      condition: {
        type: "string"
      }
      data: {
        type: "array"
        items: {
          type: "object"
          required: ["dealerName", "zipCode", "state", "address", "ids"]
          properties: {
            address: {
              type: "string"
            }
            dealerName: {
              type: "string"
            }
            ids: {
              type: "array"
              items: {
                type: "integer"
              }
            }
            state: {
              type: "string"
            }
            zipCode: {
              type: "integer"
            }
          }
        }
      }
      modelName: {
        type: "string"
      }
      msg: {
        type: "string"
      }
      regionName: {
        type: "string"
      }
    }
  }
}