#import <DOM/Document.idl>

// https://html.spec.whatwg.org/#htmldocument
[Exposed=Window]
interface HTMLDocument : Document {
};