Editing: index.d.ts