The ECMAScript specification type definitions (lib.d.ts)