ag-special-sale/tsconfig.json

// tsconfig.json
{
    "compilerOptions": {
      // ...
      "types": ["element-plus/global"]
    }
  }