export { CoverageElement } from './CoverageElement';