javascript - window.JSON 的 WebIDL 定义在哪里？

Question

我正在寻找 JSON.parse 方法的 WebIDL 定义。我在 GitHub 上查看了Mozila 的 WebIDL 定义，但找不到。哪里是？