workout-cool/src/index.d.ts

// add opera to the user agent
declare global {
  interface Navigator {
    opera: any;
  }
}