Coverage.d.ts