hardhat/src/internal/builtin-plugins/coverage/type-extensions.ts

Hardhat is an extensible developer tool that helps smart contract developers increase productivity by reliably bringing together the tools they want.

declare module "../../../types/global-options.js" {
  export interface GlobalOptions {
    coverage: boolean;
  }
}