Missing HTML Main, Details, and Summary

[arjunyel]

TypeScript Version: 2.4.2

Code

const main = document.getElementById("main") as HTMLMainElement;
const details = document.getElementById("details") as HTMLDetailsElement;
const summary = document.getElementById("summary") as HTMLSummaryElement;

Expected behavior:

Typescript has definitions for these 3 elements.

Actual behavior:

Definitions missing