launch.d.ts