export { ProgressCircleElementEventMap, ProgressCircleElementSettableProperties, ProgressCircleElementSettablePropertiesLenient, ProgressCircleElement } from './ojprogress-circle';