zloirock · zloirock · Feb 25, 2026 · Nov 20, 2025 · Nov 21, 2025 · Nov 21, 2025
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,6 +21,17 @@ jobs:
       - run: pip install codespell
       - run: npx run-s lint-raw codespell
 
+  type-definitions:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-node@v6
+        with:
+          node-version: 25
+          cache: npm
+      - run: npm run prepare-monorepo
+      - run: npx run-s build-types test-type-definitions-ci
+
   karma:
     runs-on: windows-2022
     steps:

diff --git a/.gitignore b/.gitignore
@@ -45,15 +45,19 @@ node_modules/
 /packages/core-js-pure/proposals/
 /packages/core-js-pure/stable/
 /packages/core-js-pure/stage/
-/packages/core-js-pure/index.js
 /packages/core-js-pure/configurator.js
+/packages/core-js-pure/index.js
 /packages/core-js-pure/package.json
 /packages/core-js-pure/LICENSE
+/packages/core-js-types/package.json
+/packages/core-js-types/ts*
+/packages/core-js-types/LICENSE
 /tests/**/bundles/
 /tests/compat/*.jar
 /tests/compat/compat-data.js
 /tests/unit-global/index.js
 /tests/unit-pure/index.js
+/tests/type-definitions/tmp/
 /website/templates/
 /website/dist/
 /website/src/public/
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -16,7 +16,7 @@ There is always some ["help wanted" issues](https://github.com/zloirock/core-js/
 - For export the polyfill, in all common cases use [`internals/export`](./packages/core-js/modules/export.js) helper. Use something else only if this helper is not applicable - for example, if you want to polyfill accessors.
 - If the code of the pure version implementation should significantly differ from the global version (*that's not a frequent situation, in most cases [`internals/is-pure`](./packages/core-js/modules/is-pure.js) constant is enough*), you can add it to [`packages/core-js-pure/override`](./packages/core-js-pure/override) directory. The rest parts of `@core-js/pure` will be copied from `core-js` package.
 - Add the feature detection of the polyfill to [`tests/compat/tests.js`](./tests/compat/tests.js), add the compatibility data to [`packages/core-js-compat/src/data.mjs`](./packages/core-js-compat/src/data.mjs), how to do it [see below](#how-to-update-core-js-compat-data).
-- Add it to entries definitions, see [`scripts/build-entries/entries-definitions.mjs`](./scripts/build-entries/entries-definitions.mjs).
+- Add it to entries definitions, see [`scripts/build-entries-and-types/entries-definitions.mjs`](scripts/build-entries-and-types/entries-definitions.mjs).
 - Add unit tests to [`tests/unit-global`](./tests/unit-global) and [`tests/unit-pure`](./tests/unit-pure).
 - Add tests of entry points to [`tests/entries/unit.mjs`](./tests/entries/unit.mjs).
 - Make sure that you are following [our coding style](#style-and-standards) and [all tests](#testing) are passed.
@@ -65,6 +65,33 @@ engine            | how to run tests | base data inherits from    | mandatory ch
 
 If you have no access to all required browsers / versions of browsers, use [Sauce Labs](https://saucelabs.com/), [BrowserStack](https://www.browserstack.com/) or [Cloud Browser](https://ieonchrome.com/).
 
+## TypeScript type definitions
+
+- TypeScript definitions should be added to the [`packages/core-js-types/src/base`](./packages/core-js-types/src/base) directory.
+- Our type definitions are built on top of ES6. If any related type is missing in ES6, it must be added to the [`packages/core-js-types/src/base/core-js-types`](./packages/core-js-types/src/base/core-js-types) directory and imported via triple-slash directives in your type definition file.
+- Place your type definition into the folder that matches its kind ([`packages/core-js-types/src/base/proposals`](./packages/core-js-types/src/base/proposals), [`packages/core-js-types/src/base/web`](./packages/core-js-types/src/base/web)).
+- Type definitions for the pure version are either generated from the global version types or created manually in the [`packages/core-js-types/src/base/pure`](./packages/core-js-types/src/base/pure) folder. Type build rules for the pure version can be modified using the `@type-options` directive:
+  - `no-extends` – do not extend the base type when adding a prefix to the type/interface
+  - `no-prefix` – do not add a prefix to the type/interface name
+  - `no-constructor` – use it when the type has no constructor (for example, `Math`)
+  - `export-base-constructor` – export the base type’s constructor instead of the prefixed one
+  - `no-export` – do not export this type
+  - `no-redefine` – do not redefine the type’s constructor
+  - `prefix-return-type` – add a prefix to the return type
+- All type definitions must be covered by TSC tests. Add them to the [`tests/type-definitions`](./tests/type-definitions) directory.
+- To build the types, run the command:
+  ```sh
+  npm run build-types
+  ```
+- To test the types, run the command:
+  ```sh
+  npm run test-type-definitions-all
+  ```
+- To run the fast subset of the types test, run the command:
+  ```sh
+  npm run test-type-definitions-smoke
+  ```
+
 ## Style and standards
 
 The coding style should follow our [`eslint.config.js`](./tests/eslint/eslint.config.js). You can test it by calling [`npm run lint`](#testing). Different places have different syntax and standard library limitations:

diff --git a/docs/web/docs/features/proposals/accessible-object-prototype-hasownproperty.md b/docs/web/docs/features/proposals/accessible-object-prototype-hasownproperty.md
@@ -13,3 +13,6 @@ class Object {
 ```plaintext
 core-js/proposals/accessible-object-hasownproperty
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/accessible-object-hasownproperty`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/accessible-object-hasownproperty.d.ts)
diff --git a/docs/web/docs/features/proposals/array-deduplication.md b/docs/web/docs/features/proposals/array-deduplication.md
@@ -22,6 +22,9 @@ core-js(-pure)/full/array(/prototype)/unique-by
 core-js/full/typed-array/unique-by
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-unique`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-unique.d.ts)
+
 ## Examples
 ```js
 [1, 2, 3, 2, 1].uniqueBy(); // [1, 2, 3]

diff --git a/docs/web/docs/features/proposals/array-filtering.md b/docs/web/docs/features/proposals/array-filtering.md
@@ -23,6 +23,9 @@ core-js(-pure)/full/array(/prototype)/filter-reject
 core-js/full/typed-array/filter-reject
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-filtering`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-filtering.d.ts)
+
 ## Examples
 ```js
 [1, 2, 3, 4, 5].filterReject(it => it % 2); // => [2, 4]

diff --git a/docs/web/docs/features/proposals/array-find-from-last.md b/docs/web/docs/features/proposals/array-find-from-last.md
@@ -19,3 +19,6 @@ class %TypedArray% {
 ```plaintext
 core-js/proposals/array-find-from-last
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-find-from-last`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-find-from-last.d.ts)
diff --git a/docs/web/docs/features/proposals/array-fromasync.md b/docs/web/docs/features/proposals/array-fromasync.md
@@ -13,3 +13,6 @@ class Array {
 ```plaintext
 core-js/proposals/array-from-async
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-from-async`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-from-async.d.ts)
diff --git a/docs/web/docs/features/proposals/array-grouping.md b/docs/web/docs/features/proposals/array-grouping.md
@@ -17,3 +17,6 @@ class Map {
 ```plaintext
 core-js/proposals/array-grouping-v2
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-grouping`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-grouping.d.ts)
diff --git a/docs/web/docs/features/proposals/array-istemplateobject.md b/docs/web/docs/features/proposals/array-istemplateobject.md
@@ -18,6 +18,9 @@ core-js/proposals/array-is-template-object
 core-js(-pure)/full/array/is-template-object
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-is-template-object`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-is-template-object.d.ts)
+
 ## Example
 ```js
 console.log(Array.isTemplateObject((it => it)`qwe${ 123 }asd`)); // => true

diff --git a/docs/web/docs/features/proposals/array-prototype-flat-flatmap.md b/docs/web/docs/features/proposals/array-prototype-flat-flatmap.md
@@ -14,3 +14,6 @@ class Array {
 ```plaintext
 core-js/proposals/array-flat-map
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-flat-map`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-flat-map.d.ts)
diff --git a/docs/web/docs/features/proposals/array-prototype-includes.md b/docs/web/docs/features/proposals/array-prototype-includes.md
@@ -16,3 +16,6 @@ class %TypedArray% {
 ```plaintext
 core-js/proposals/array-includes
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-includes`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-includes.d.ts)
diff --git a/docs/web/docs/features/proposals/arraybuffer-prototype-transfer.md b/docs/web/docs/features/proposals/arraybuffer-prototype-transfer.md
@@ -15,3 +15,6 @@ class ArrayBuffer {
 ```plaintext
 core-js/proposals/array-buffer-transfer
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/array-buffer-transfer`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/array-buffer-transfer.d.ts)
diff --git a/docs/web/docs/features/proposals/asynciterator-helpers.md b/docs/web/docs/features/proposals/asynciterator-helpers.md
@@ -47,6 +47,9 @@ core-js(-pure)/actual|full/async-iterator/to-array
 core-js(-pure)/actual|full/iterator/to-async
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/async-iterator-helpers`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/async-iterator-helpers.d.ts)
+
 ## Examples
 ```js
 await AsyncIterator.from([1, 2, 3, 4, 5, 6, 7])

diff --git a/docs/web/docs/features/proposals/await-dictionary.md b/docs/web/docs/features/proposals/await-dictionary.md
@@ -19,12 +19,15 @@ class Promise {
 ```
 
 ## [Entry points]({docs-version}/docs/usage#h-entry-points)
-```ts
+```plaintext
 core-js/proposals/promise-all-keyed
 core-js(-pure)/full/promise/all-keyed
 core-js(-pure)/full/promise/all-settled-keyed
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/await-dictionary`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/await-dictionary.d.ts)
+
 ## Examples
 ```js
 await Promise.allKeyed({

diff --git a/docs/web/docs/features/proposals/change-array-by-copy.md b/docs/web/docs/features/proposals/change-array-by-copy.md
@@ -29,3 +29,6 @@ core-js/es|stable|actual|full/typed-array/to-reversed
 core-js/es|stable|actual|full/typed-array/to-sorted
 core-js/es|stable|actual|full/typed-array/with
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/change-array-by-copy`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/change-array-by-copy.d.ts)
diff --git a/docs/web/docs/features/proposals/dataview-get-set-uint8clamped.md b/docs/web/docs/features/proposals/dataview-get-set-uint8clamped.md
@@ -20,6 +20,9 @@ core-js/full/dataview/get-uint8-clamped
 core-js/full/dataview/set-uint8-clamped
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/data-view-get-set-uint8-clamped`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/data-view-get-set-uint8-clamped.d.ts)
+
 ## Examples
 ```js
 const view = new DataView(new ArrayBuffer(1));

diff --git a/docs/web/docs/features/proposals/error-iserror.md b/docs/web/docs/features/proposals/error-iserror.md
@@ -14,5 +14,8 @@ class Error {
 core-js/proposals/is-error
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/is-error`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/is-error.d.ts)
+
 > [!WARNING]
 > We have no bulletproof way to polyfill this `Error.isError` / check if the object is an error, so it's an enough naive implementation.
diff --git a/docs/web/docs/features/proposals/explicit-resource-management.md b/docs/web/docs/features/proposals/explicit-resource-management.md
@@ -54,3 +54,6 @@ class AsyncIterator {
 ```plaintext
 core-js/proposals/explicit-resource-management
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/explicit-resource-management`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/explicit-resource-management.d.ts)
diff --git a/docs/web/docs/features/proposals/float16-methods.md b/docs/web/docs/features/proposals/float16-methods.md
@@ -18,3 +18,6 @@ namespace Math {
 ```plaintext
 core-js/proposals/float16
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/float16`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/float16.d.ts)
diff --git a/docs/web/docs/features/proposals/function-prototype-demethodize.md b/docs/web/docs/features/proposals/function-prototype-demethodize.md
@@ -18,6 +18,9 @@ core-js(-pure)/full/function/demethodize
 core-js(-pure)/full/function/prototype/demethodize
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/function-demethodize`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/function-demethodize.d.ts)
+
 ## Examples
 ```js
 const slice = Array.prototype.slice.demethodize();

diff --git a/docs/web/docs/features/proposals/iterator-chunking.md b/docs/web/docs/features/proposals/iterator-chunking.md
@@ -20,6 +20,9 @@ core-js(-pure)/full/iterator/chunks
 core-js(-pure)/full/iterator/windows
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-chunking`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-chunking.d.ts)
+
 ## Examples
 ```js
 const digits = () => [0, 1, 2, 3, 4, 5, 6, 7, 8, 9].values();

diff --git a/docs/web/docs/features/proposals/iterator-helpers.md b/docs/web/docs/features/proposals/iterator-helpers.md
@@ -25,3 +25,6 @@ class Iterator {
 ```plaintext
 core-js/proposals/iterator-helpers
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-helpers`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-helpers.d.ts)
diff --git a/docs/web/docs/features/proposals/iterator-join.md b/docs/web/docs/features/proposals/iterator-join.md
@@ -13,11 +13,14 @@ class Iterator {
 ```
 
 ## [Entry points]({docs-version}/docs/usage#h-entry-points)
-```ts
+```plaintext
 core-js/proposals/iterator-join
 core-js(-pure)/full/iterator/join
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-join`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-join.d.ts)
+
 ## Examples
 ```js
 const digits = () => [1, 2, 3].values();

diff --git a/docs/web/docs/features/proposals/iterator-range.md b/docs/web/docs/features/proposals/iterator-range.md
@@ -19,6 +19,9 @@ core-js/proposals/number-range
 core-js(-pure)/full/iterator/range
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-range`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-range.d.ts)
+
 ## Example
 ```js
 for (const i of Iterator.range(1, 10)) {

diff --git a/docs/web/docs/features/proposals/iterator-sequencing.md b/docs/web/docs/features/proposals/iterator-sequencing.md
@@ -18,6 +18,9 @@ core-js/proposals/iterator-sequencing
 core-js(-pure)/es|stable|actual|full/iterator/concat
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-sequencing`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-sequencing.d.ts)
+
 ## Example
 ```js
 Iterator.concat([0, 1].values(), [2, 3], function * () {

diff --git a/docs/web/docs/features/proposals/joint-iteration.md b/docs/web/docs/features/proposals/joint-iteration.md
@@ -32,6 +32,9 @@ core-js(-pure)/actual|full/iterator/zip
 core-js(-pure)/actual|full/iterator/zip-keyed
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/iterator-joint`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/iterator-joint.d.ts)
+
 ## Example
 ```js
 Iterator.zip([

diff --git a/docs/web/docs/features/proposals/json-parse-source-text-access.md b/docs/web/docs/features/proposals/json-parse-source-text-access.md
@@ -26,6 +26,9 @@ core-js(-pure)/es|stable|actual|full/json/raw-json
 core-js(-pure)/es|stable|actual|full/json/stringify
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/json-parse-with-source`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/json-parse-with-source.d.ts)
+
 ## Examples
 ```js
 function digitsToBigInt(key, val, { source }) {

diff --git a/docs/web/docs/features/proposals/map-upsert.md b/docs/web/docs/features/proposals/map-upsert.md
@@ -27,6 +27,9 @@ core-js(-pure)/es|stable|actual|full/weak-map/get-or-insert
 core-js(-pure)/es|stable|actual|full/weak-map/get-or-insert-computed
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/map-upsert`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/map-upsert.d.ts)
+
 ## Examples
 ```js
 const map = new Map([['a', 1]]);

diff --git a/docs/web/docs/features/proposals/math-sumprecise.md b/docs/web/docs/features/proposals/math-sumprecise.md
@@ -13,3 +13,6 @@ namespace Math {
 ```plaintext
 core-js/proposals/math-sum
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/math-sum`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/math-sum.d.ts)
diff --git a/docs/web/docs/features/proposals/number-prototype-clamp.md b/docs/web/docs/features/proposals/number-prototype-clamp.md
@@ -18,6 +18,9 @@ core-js/proposals/math-clamp-v2
 core-js(-pure)/full/number/clamp
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/number-clamp`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/number-clamp.d.ts)
+
 ## Example
 ```js
 5.0.clamp(0, 10); // => 5

diff --git a/docs/web/docs/features/proposals/object-fromentries.md b/docs/web/docs/features/proposals/object-fromentries.md
@@ -13,3 +13,6 @@ class Object {
 ```plaintext
 core-js/proposals/object-from-entries
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/object-from-entries`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/object-from-entries.d.ts)
diff --git a/docs/web/docs/features/proposals/object-getownpropertydescriptors.md b/docs/web/docs/features/proposals/object-getownpropertydescriptors.md
@@ -13,3 +13,7 @@ class Object {
 ```plaintext
 core-js/proposals/object-getownpropertydescriptors
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/object-get-own-property-descriptors`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/object-get-own-property-descriptors.d.ts)
+
diff --git a/docs/web/docs/features/proposals/object-values-entries.md b/docs/web/docs/features/proposals/object-values-entries.md
@@ -14,3 +14,6 @@ class Object {
 ```plaintext
 core-js/proposals/object-values-entries
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/object-values-entries`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/object-values-entries.d.ts)
diff --git a/docs/web/docs/features/proposals/of-and-from-methods-on-collections.md b/docs/web/docs/features/proposals/of-and-from-methods-on-collections.md
@@ -41,6 +41,10 @@ core-js(-pure)/full/weak-map/from
 core-js(-pure)/full/weak-map/of
 ```
 
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/collection-of-from`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/collection-of-from.d.ts)
+
+
 ## Examples
 ```js
 Set.of(1, 2, 3, 2, 1); // => Set {1, 2, 3}

diff --git a/docs/web/docs/features/proposals/promise-allsettled.md b/docs/web/docs/features/proposals/promise-allsettled.md
@@ -13,3 +13,6 @@ class Promise {
 ```plaintext
 core-js/proposals/promise-all-settled
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/promise-all-settled`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/promise-all-settled.d.ts)
diff --git a/docs/web/docs/features/proposals/promise-any.md b/docs/web/docs/features/proposals/promise-any.md
@@ -19,3 +19,6 @@ class Promise {
 ```plaintext
 core-js/proposals/promise-any
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/promise-any`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/promise-any.d.ts)
diff --git a/docs/web/docs/features/proposals/promise-prototype-finally.md b/docs/web/docs/features/proposals/promise-prototype-finally.md
@@ -13,3 +13,6 @@ class Promise {
 ```plaintext
 core-js/proposals/promise-finally
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/promise-finally`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/promise-finally.d.ts)
diff --git a/docs/web/docs/features/proposals/promise-try.md b/docs/web/docs/features/proposals/promise-try.md
@@ -13,3 +13,6 @@ class Promise {
 ```plaintext
 core-js/proposals/promise-try
 ```
+
+## [TypeScript type definitions]({docs-version}/docs/typescript-type-definitions)
+[`@core-js/types/proposals/promise-try`](https://github.com/zloirock/core-js/blob/v4-types/packages/core-js-types/src/base/proposals/promise-try.d.ts)