import { ProgressCircle } from './src/ProgressCircle.js'; declare global { interface HTMLElementTagNameMap { 'sp-progress-circle': ProgressCircle; } }