solid-js 2.0.0-beta.5 → 2.0.0-beta.7

package/types-cjs/jsx.d.cts

@@ -0,0 +1,4263 @@
+/**
+	THIS FILE IS GENERATED BY `./jsx-update.mjs`.
+	PLEASE UPDATE `jsx-h.d.ts` INSTEAD AND RUN `pnpm jsx-sync-types`.
+*/
+
+import * as csstype from "csstype";
+import type { PropKey, WidenPropValue } from "./jsx-properties.cjs";
+
+/**
+ * Originally based on JSX types for Surplus and Inferno and adapted for `dom-expressions`.
+ *
+ * - https://github.com/adamhaile/surplus/blob/master/index.d.ts
+ * - https://github.com/infernojs/inferno/blob/master/packages/inferno/src/core/types.ts
+ *
+ * MathML typings coming mostly from Preact
+ *
+ * - https://github.com/preactjs/preact/blob/07dc9f324e58569ce66634aa03fe8949b4190358/src/jsx.d.ts#L2575
+ *
+ * Checked against other frameworks via the following table:
+ *
+ * - https://potahtml.github.io/namespace-jsx-project/index.html
+ *
+ * # Typings on elements
+ *
+ * ## Attributes
+ *
+ * - Typings include attributes and not properties (unless the property Is special-cased, such
+ *   textContent, event handlers, etc).
+ * - Attributes are lowercase to avoid confusion with properties.
+ * - Attributes are used "as is" and won't be transformed in any way (such to `lowercase` or from
+ *   `dashed-case` to `camelCase`).
+ *
+ * ## Event Handlers
+ *
+ * - Event handlers use `camelCase` such `onClick` and will be delegated when possible, bubbling
+ *   through the component tree, not the dom tree.
+ * - Native event handlers use the namespace `on:` such `on:click`, and wont be delegated. bubbling
+ *   the dom tree.
+ * - A global case-insensitive event handler can be added by extending `EventHandlersElement<T>`
+ * - A native `on:` event handler can be added by extending `CustomEvents<T>` interface
+ *
+ * ## Boolean Attributes (property setter that accepts `true | false`):
+ *
+ * - `(bool)true` adds the attribute `<video autoplay={true}/>` or in JSX as `<video autoplay/>`
+ * - `(bool)false` removes the attribute from the DOM `<video autoplay={false}/>`
+ * - `=""` may be accepted for the sake of parity with html `<video autoplay=""/>`
+ * - `"true" | "false"` are NOT allowed, these are strings that evaluate to `(bool)true`
+ *
+ * ## Enumerated Attributes (attribute accepts 1 string value out of many)
+ *
+ * - Accepts any of the enumerated values, such: `"perhaps" | "maybe"`
+ * - When one of the possible values is empty(in html that's for the attribute to be present), then it
+ *   will also accept `(bool)true` to make it consistent with boolean attributes.
+ *
+ * Such `popover` attribute provides `"" | "manual" | "auto" | "hint"`.
+ *
+ * By NOT allowing `(bool)true` we will have to write `<div popover="" />`. Therefore, To make it
+ * consistent with Boolean Attributes we accept `true | "" | "manual" | "auto" | "hint"`, such as:
+ * `<div popover={true} />` or in JSX `<div popover />` is allowed and equivalent to `<div
+ * popover="" />`
+ *
+ * ## Pseudo-Boolean Attributes (enumerated attributes that happen to accept the strings `"true" | "false"`)
+ *
+ * - Such `<div draggable="true"/>` or `<div draggable="false"/>`. The value of the attribute is a
+ *   string not a boolean.
+ * - `<div draggable={true}/>` is not valid because `(bool)true` is NOT transformed to the string
+ *   `"true"`. Likewise `<div draggable={false}/>` removes the attribute from the element.
+ * - MDN documentation https://developer.mozilla.org/en-US/docs/Web/HTML/Global_attributes/draggable
+ *
+ * ## All Of The Above In a nutshell
+ *
+ * - `(bool)true` adds an empty attribute
+ * - `(bool)false` removes the attribute
+ * - Attributes are lowercase
+ * - Event handlers are camelCase
+ * - Anything else is a `string` and used "as is"
+ * - Additionally, an attribute may be removed by `undefined`
+ *
+ * ## Using Properties
+ *
+ * - The namespace `prop:` could be used to directly set properties in native elements and
+ *   custom-elements. `<custom-element prop:myProp={true}/>` equivalent to `el.myProp = true`
+ *
+ * ## Interfaces
+ *
+ * Events
+ *
+ * 1. An event handler goes in `EventHandlersElement` when:
+ *
+ *    - `event` is global, that's to be defined in `HTMLElement` AND `SVGElement` AND `MathMLElement`
+ *    - `event` is defined in `Element` (as `HTMLElement/MathMLElement/SVGElement` -> `Element`)
+ * 2. `<body>`, `<svg>`, `<framesete>` are special as these include `window` events
+ * 3. Any other event is special for its own tag.
+ *
+ * Browser Hierarchy
+ *
+ * - $Element (ex HTMLDivElement <div>) -> ... -> HTMLElement -> Element -> Node
+ * - $Element (all math elements are MathMLElement) MathMLElement -> Element -> Node
+ * - $Element`(ex SVGMaskElement <mask>) -> ... -> SVGElement -> Element -> Node
+ *
+ * Attributes
+ *
+ *      <div> -> ... -> HTMLAttributes -> ElementAttributes
+ *      <svg> -> ... -> SVGAttributes -> ElementAttributes
+ *      <math> -> ... -> MathMLAttributes -> ElementAttributes
+ *
+ *      ElementAttributes = `Element` + `Node` attributes (aka global attributes)
+ *
+ *      HTMLAttributes = `HTMLElement` attributes (aka HTML global attributes)
+ *      SVGAttributes = `SVGElement` attributes (aka SVG global attributes)
+ *      MathMLAttributes = `MathMLElement` attributes (aka MATH global attributes)
+ *
+ *      CustomAttributes = Framework attributes
+ */
+
+type DOMElement = Element;
+
+/**
+ * Fallback declarations for event types that are not yet defined in older TypeScript
+ * `lib.dom.d.ts` versions. When the user's TS lib defines these, declaration merging
+ * yields the full specialized type; otherwise these serve as a bare `Event` fallback.
+ */
+declare global {
+  interface CommandEvent extends Event {}
+  interface PageRevealEvent extends Event {}
+  interface PageSwapEvent extends Event {}
+  interface SnapEvent extends Event {}
+  interface TimeEvent extends Event {}
+}
+
+export namespace JSX {
+  // START - difference between `jsx.d.ts` and `jsx-h.d.ts`
+  type FunctionMaybe<T = unknown> = { (): T } | T;
+  interface FunctionElement {
+    (): Element;
+  }
+
+  type Element = Node | ArrayElement | (string & {}) | number | boolean | null | undefined;
+  // END - difference between `jsx.d.ts` and `jsx-h.d.ts`
+
+  interface ArrayElement extends Array<Element> {}
+
+  interface ElementClass {
+    // empty, libs can define requirements downstream
+  }
+  interface ElementAttributesProperty {
+    // empty, libs can define requirements downstream
+  }
+  interface ElementChildrenAttribute {
+    children: {};
+  }
+
+  // Event handlers
+
+  interface EventHandler<T, E extends Event> {
+    (
+      e: E & {
+        currentTarget: T;
+        target: DOMElement;
+      }
+    ): void;
+  }
+
+  interface BoundEventHandler<
+    T,
+    E extends Event,
+    EHandler extends EventHandler<T, any> = EventHandler<T, E>
+  > {
+    0: (data: any, ...e: Parameters<EHandler>) => void;
+    1: any;
+  }
+  type EventHandlerUnion<
+    T,
+    E extends Event,
+    EHandler extends EventHandler<T, any> = EventHandler<T, E>
+  > = EHandler | BoundEventHandler<T, E, EHandler>;
+
+  interface EventHandlerWithOptions<T, E extends Event, EHandler = EventHandler<T, E>>
+    extends AddEventListenerOptions,
+      EventListenerOptions {
+    handleEvent: EHandler;
+  }
+
+  type EventHandlerWithOptionsUnion<
+    T,
+    E extends Event,
+    EHandler extends EventHandler<T, any> = EventHandler<T, E>
+  > = EHandler | EventHandlerWithOptions<T, E, EHandler>;
+
+  interface InputEventHandler<T, E extends InputEvent> {
+    (
+      e: E & {
+        currentTarget: T;
+        target: T extends HTMLInputElement | HTMLSelectElement | HTMLTextAreaElement
+          ? T
+          : DOMElement;
+      }
+    ): void;
+  }
+  type InputEventHandlerUnion<T, E extends InputEvent> = EventHandlerUnion<
+    T,
+    E,
+    InputEventHandler<T, E>
+  >;
+
+  interface ChangeEventHandler<T, E extends Event> {
+    (
+      e: E & {
+        currentTarget: T;
+        target: T extends HTMLInputElement | HTMLSelectElement | HTMLTextAreaElement
+          ? T
+          : DOMElement;
+      }
+    ): void;
+  }
+  type ChangeEventHandlerUnion<T, E extends Event> = EventHandlerUnion<
+    T,
+    E,
+    ChangeEventHandler<T, E>
+  >;
+
+  interface FocusEventHandler<T, E extends FocusEvent> {
+    (
+      e: E & {
+        currentTarget: T;
+        target: T extends HTMLInputElement | HTMLSelectElement | HTMLTextAreaElement
+          ? T
+          : DOMElement;
+      }
+    ): void;
+  }
+  type FocusEventHandlerUnion<T, E extends FocusEvent> = EventHandlerUnion<
+    T,
+    E,
+    FocusEventHandler<T, E>
+  >;
+  // end event handlers
+
+  type ClassList =
+    | Record<string, boolean>
+    | Array<string | number | boolean | null | undefined | Record<string, boolean>>;
+
+  const SERIALIZABLE: unique symbol;
+  interface SerializableAttributeValue {
+    toString(): string;
+    [SERIALIZABLE]: never;
+  }
+
+  type RefCallback<T> = (el: T) => void;
+  type Ref<T> = T | RefCallback<T> | (RefCallback<T> | Ref<T>)[];
+
+  interface IntrinsicAttributes {
+    ref?: Ref<unknown> | undefined;
+  }
+  interface CustomAttributes<T> {
+    ref?: Ref<T> | undefined;
+    children?: Element | undefined;
+    $ServerOnly?: boolean | undefined;
+  }
+  interface ExplicitProperties {}
+  interface CustomEvents {}
+  type PropAttributes = {
+    [Key in keyof ExplicitProperties as `prop:${Key}`]?: ExplicitProperties[Key];
+  };
+  type OnAttributes<T> = {
+    [Key in keyof CustomEvents as `on:${Key}`]?: EventHandlerWithOptionsUnion<T, CustomEvents[Key]>;
+  };
+
+  /**
+   * Writable, element-specific DOM properties exposed as `prop:*` attributes, auto-derived
+   * from the element interface `T`. See `./jsx-properties.d.ts` for the filtering rules.
+   * Existing element interfaces can locally disable an auto-derived key with
+   * `"prop:foo"?: never;` to redirect users to a plain attribute form.
+   */
+  type Properties<T> = {
+    [K in keyof T as PropKey<T, K>]?: WidenPropValue<T[K]>;
+  };
+
+  // CSS
+
+  interface CSSProperties extends csstype.PropertiesHyphen {
+    // Override
+    [key: `-${string}`]: string | number | undefined;
+  }
+
+  // TODO: Should we allow this?
+  // type ClassKeys = `class:${string}`;
+  // type CSSKeys = Exclude<keyof csstype.PropertiesHyphen, `-${string}`>;
+
+  // type CSSAttributes = {
+  //   [key in CSSKeys as `style:${key}`]: csstype.PropertiesHyphen[key];
+  // };
+
+  // BOOLEAN
+
+  /**
+   * Boolean and Pseudo-Boolean Attributes Helpers.
+   *
+   * Please use the helpers to describe boolean and pseudo boolean attributes to make this file and
+   * also the typings easier to understand and explain.
+   */
+
+  type BooleanAttribute = true | false | "";
+
+  type BooleanProperty = true | false;
+
+  type EnumeratedPseudoBoolean = "false" | "true";
+
+  type EnumeratedAcceptsEmpty = "" | true;
+
+  type RemoveAttribute = undefined | false;
+
+  type RemoveProperty = undefined;
+
+  // ARIA
+
+  // All the WAI-ARIA 1.1 attributes from https://www.w3.org/TR/wai-aria-1.1/
+  interface AriaAttributes {
+    /**
+     * Identifies the currently active element when DOM focus is on a composite widget, textbox,
+     * group, or application.
+     */
+    "aria-activedescendant"?: string | RemoveAttribute;
+    /**
+     * Indicates whether assistive technologies will present all, or only parts of, the changed
+     * region based on the change notifications defined by the aria-relevant attribute.
+     */
+    "aria-atomic"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Similar to the global aria-label. Defines a string value that labels the current element,
+     * which is intended to be converted into Braille.
+     *
+     * @see aria-label.
+     */
+    "aria-braillelabel"?: string | RemoveAttribute;
+    /**
+     * Defines a human-readable, author-localized abbreviated description for the role of an element
+     * intended to be converted into Braille. Braille is not a one-to-one transliteration of letters
+     * and numbers, but rather it includes various abbreviations, contractions, and characters that
+     * represent words (known as logograms).
+     *
+     * Instead of converting long role descriptions to Braille, the aria-brailleroledescription
+     * attribute allows for providing an abbreviated version of the aria-roledescription value,
+     * which is a human-readable, author-localized description for the role of an element, for
+     * improved user experience with braille interfaces.
+     *
+     * @see aria-roledescription.
+     */
+    "aria-brailleroledescription"?: string | RemoveAttribute;
+    /**
+     * Indicates whether inputting text could trigger display of one or more predictions of the
+     * user's intended value for an input and specifies how predictions would be presented if they
+     * are made.
+     */
+    "aria-autocomplete"?: "none" | "inline" | "list" | "both" | RemoveAttribute;
+    /**
+     * Indicates an element is being modified and that assistive technologies MAY want to wait until
+     * the modifications are complete before exposing them to the user.
+     */
+    "aria-busy"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates the current "checked" state of checkboxes, radio buttons, and other widgets.
+     *
+     * @see aria-pressed @see aria-selected.
+     */
+    "aria-checked"?: EnumeratedPseudoBoolean | "mixed" | RemoveAttribute;
+    /**
+     * Defines the total number of columns in a table, grid, or treegrid.
+     *
+     * @see aria-colindex.
+     */
+    "aria-colcount"?: number | string | RemoveAttribute;
+    /**
+     * Defines an element's column index or position with respect to the total number of columns
+     * within a table, grid, or treegrid.
+     *
+     * @see aria-colcount @see aria-colspan.
+     */
+    "aria-colindex"?: number | string | RemoveAttribute;
+    /** Defines a human-readable text alternative of the numeric aria-colindex. */
+    "aria-colindextext"?: number | string | RemoveAttribute;
+    /**
+     * Defines the number of columns spanned by a cell or gridcell within a table, grid, or
+     * treegrid.
+     *
+     * @see aria-colindex @see aria-rowspan.
+     */
+    "aria-colspan"?: number | string | RemoveAttribute;
+    /**
+     * Identifies the element (or elements) whose contents or presence are controlled by the current
+     * element.
+     *
+     * @see aria-owns.
+     */
+    "aria-controls"?: string | RemoveAttribute;
+    /**
+     * Indicates the element that represents the current item within a container or set of related
+     * elements.
+     */
+    "aria-current"?:
+      | EnumeratedPseudoBoolean
+      | "page"
+      | "step"
+      | "location"
+      | "date"
+      | "time"
+      | RemoveAttribute;
+    /**
+     * Identifies the element (or elements) that describes the object.
+     *
+     * @see aria-labelledby
+     */
+    "aria-describedby"?: string | RemoveAttribute;
+    /**
+     * Defines a string value that describes or annotates the current element.
+     *
+     * @see aria-describedby
+     */
+    "aria-description"?: string | RemoveAttribute;
+    /**
+     * Identifies the element that provides a detailed, extended description for the object.
+     *
+     * @see aria-describedby.
+     */
+    "aria-details"?: string | RemoveAttribute;
+    /**
+     * Indicates that the element is perceivable but disabled, so it is not editable or otherwise
+     * operable.
+     *
+     * @see aria-hidden @see aria-readonly.
+     */
+    "aria-disabled"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates what functions can be performed when a dragged object is released on the drop
+     * target.
+     *
+     * @deprecated In ARIA 1.1
+     */
+    "aria-dropeffect"?: "none" | "copy" | "execute" | "link" | "move" | "popup" | RemoveAttribute;
+    /**
+     * Identifies the element that provides an error message for the object.
+     *
+     * @see aria-invalid @see aria-describedby.
+     */
+    "aria-errormessage"?: string | RemoveAttribute;
+    /**
+     * Indicates whether the element, or another grouping element it controls, is currently expanded
+     * or collapsed.
+     */
+    "aria-expanded"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Identifies the next element (or elements) in an alternate reading order of content which, at
+     * the user's discretion, allows assistive technology to override the general default of reading
+     * in document source order.
+     */
+    "aria-flowto"?: string | RemoveAttribute;
+    /**
+     * Indicates an element's "grabbed" state in a drag-and-drop operation.
+     *
+     * @deprecated In ARIA 1.1
+     */
+    "aria-grabbed"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates the availability and type of interactive popup element, such as menu or dialog,
+     * that can be triggered by an element.
+     */
+    "aria-haspopup"?:
+      | EnumeratedPseudoBoolean
+      | "menu"
+      | "listbox"
+      | "tree"
+      | "grid"
+      | "dialog"
+      | RemoveAttribute;
+    /**
+     * Indicates whether the element is exposed to an accessibility API.
+     *
+     * @see aria-disabled.
+     */
+    "aria-hidden"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates the entered value does not conform to the format expected by the application.
+     *
+     * @see aria-errormessage.
+     */
+    "aria-invalid"?: EnumeratedPseudoBoolean | "grammar" | "spelling" | RemoveAttribute;
+    /**
+     * Indicates keyboard shortcuts that an author has implemented to activate or give focus to an
+     * element.
+     */
+    "aria-keyshortcuts"?: string | RemoveAttribute;
+    /**
+     * Defines a string value that labels the current element.
+     *
+     * @see aria-labelledby.
+     */
+    "aria-label"?: string | RemoveAttribute;
+    /**
+     * Identifies the element (or elements) that labels the current element.
+     *
+     * @see aria-describedby.
+     */
+    "aria-labelledby"?: string | RemoveAttribute;
+    /** Defines the hierarchical level of an element within a structure. */
+    "aria-level"?: number | string | RemoveAttribute;
+    /**
+     * Indicates that an element will be updated, and describes the types of updates the user
+     * agents, assistive technologies, and user can expect from the live region.
+     */
+    "aria-live"?: "off" | "assertive" | "polite" | RemoveAttribute;
+    /** Indicates whether an element is modal when displayed. */
+    "aria-modal"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /** Indicates whether a text box accepts multiple lines of input or only a single line. */
+    "aria-multiline"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates that the user may select more than one item from the current selectable
+     * descendants.
+     */
+    "aria-multiselectable"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /** Indicates whether the element's orientation is horizontal, vertical, or unknown/ambiguous. */
+    "aria-orientation"?: "horizontal" | "vertical" | RemoveAttribute;
+    /**
+     * Identifies an element (or elements) in order to define a visual, functional, or contextual
+     * parent/child relationship between DOM elements where the DOM hierarchy cannot be used to
+     * represent the relationship.
+     *
+     * @see aria-controls.
+     */
+    "aria-owns"?: string | RemoveAttribute;
+    /**
+     * Defines a short hint (a word or short phrase) intended to aid the user with data entry when
+     * the control has no value. A hint could be a sample value or a brief description of the
+     * expected format.
+     */
+    "aria-placeholder"?: string | RemoveAttribute;
+    /**
+     * Defines an element's number or position in the current set of listitems or treeitems. Not
+     * required if all elements in the set are present in the DOM.
+     *
+     * @see aria-setsize.
+     */
+    "aria-posinset"?: number | string | RemoveAttribute;
+    /**
+     * Indicates the current "pressed" state of toggle buttons.
+     *
+     * @see aria-checked @see aria-selected.
+     */
+    "aria-pressed"?: EnumeratedPseudoBoolean | "mixed" | RemoveAttribute;
+    /**
+     * Indicates that the element is not editable, but is otherwise operable.
+     *
+     * @see aria-disabled.
+     */
+    "aria-readonly"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Indicates what notifications the user agent will trigger when the accessibility tree within a
+     * live region is modified.
+     *
+     * @see aria-atomic.
+     */
+    "aria-relevant"?:
+      | "additions"
+      | "additions removals"
+      | "additions text"
+      | "all"
+      | "removals"
+      | "removals additions"
+      | "removals text"
+      | "text"
+      | "text additions"
+      | "text removals"
+      | RemoveAttribute;
+    /** Indicates that user input is required on the element before a form may be submitted. */
+    "aria-required"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /** Defines a human-readable, author-localized description for the role of an element. */
+    "aria-roledescription"?: string | RemoveAttribute;
+    /**
+     * Defines the total number of rows in a table, grid, or treegrid.
+     *
+     * @see aria-rowindex.
+     */
+    "aria-rowcount"?: number | string | RemoveAttribute;
+    /**
+     * Defines an element's row index or position with respect to the total number of rows within a
+     * table, grid, or treegrid.
+     *
+     * @see aria-rowcount @see aria-rowspan.
+     */
+    "aria-rowindex"?: number | string | RemoveAttribute;
+    /** Defines a human-readable text alternative of aria-rowindex. */
+    "aria-rowindextext"?: number | string | RemoveAttribute;
+
+    /**
+     * Defines the number of rows spanned by a cell or gridcell within a table, grid, or treegrid.
+     *
+     * @see aria-rowindex @see aria-colspan.
+     */
+    "aria-rowspan"?: number | string | RemoveAttribute;
+    /**
+     * Indicates the current "selected" state of various widgets.
+     *
+     * @see aria-checked @see aria-pressed.
+     */
+    "aria-selected"?: EnumeratedPseudoBoolean | RemoveAttribute;
+    /**
+     * Defines the number of items in the current set of listitems or treeitems. Not required if all
+     * elements in the set are present in the DOM.
+     *
+     * @see aria-posinset.
+     */
+    "aria-setsize"?: number | string | RemoveAttribute;
+    /** Indicates if items in a table or grid are sorted in ascending or descending order. */
+    "aria-sort"?: "none" | "ascending" | "descending" | "other" | RemoveAttribute;
+    /** Defines the maximum allowed value for a range widget. */
+    "aria-valuemax"?: number | string | RemoveAttribute;
+    /** Defines the minimum allowed value for a range widget. */
+    "aria-valuemin"?: number | string | RemoveAttribute;
+    /**
+     * Defines the current value for a range widget.
+     *
+     * @see aria-valuetext.
+     */
+    "aria-valuenow"?: number | string | RemoveAttribute;
+    /** Defines the human readable text alternative of aria-valuenow for a range widget. */
+    "aria-valuetext"?: string | RemoveAttribute;
+    role?:
+      | "alert"
+      | "alertdialog"
+      | "application"
+      | "article"
+      | "banner"
+      | "button"
+      | "cell"
+      | "checkbox"
+      | "columnheader"
+      | "combobox"
+      | "complementary"
+      | "contentinfo"
+      | "definition"
+      | "dialog"
+      | "directory"
+      | "document"
+      | "feed"
+      | "figure"
+      | "form"
+      | "grid"
+      | "gridcell"
+      | "group"
+      | "heading"
+      | "img"
+      | "link"
+      | "list"
+      | "listbox"
+      | "listitem"
+      | "log"
+      | "main"
+      | "marquee"
+      | "math"
+      | "menu"
+      | "menubar"
+      | "menuitem"
+      | "menuitemcheckbox"
+      | "menuitemradio"
+      | "meter"
+      | "navigation"
+      | "none"
+      | "note"
+      | "option"
+      | "presentation"
+      | "progressbar"
+      | "radio"
+      | "radiogroup"
+      | "region"
+      | "row"
+      | "rowgroup"
+      | "rowheader"
+      | "scrollbar"
+      | "search"
+      | "searchbox"
+      | "separator"
+      | "slider"
+      | "spinbutton"
+      | "status"
+      | "switch"
+      | "tab"
+      | "table"
+      | "tablist"
+      | "tabpanel"
+      | "term"
+      | "textbox"
+      | "timer"
+      | "toolbar"
+      | "tooltip"
+      | "tree"
+      | "treegrid"
+      | "treeitem"
+      | RemoveAttribute;
+  }
+
+  // EVENTS
+
+  /**
+   * `Window` events, defined for `<body>`, `<svg>`, `<frameset>` tags.
+   *
+   * Excluding `EventHandlersElement` events already defined as globals that all tags share, such as
+   * `onblur`.
+   */
+  interface EventHandlersWindow<T> {
+    onAfterPrint?: EventHandlerUnion<T, Event> | undefined;
+    onBeforePrint?: EventHandlerUnion<T, Event> | undefined;
+    onBeforeUnload?: EventHandlerUnion<T, BeforeUnloadEvent> | undefined;
+    onDeviceMotion?: EventHandlerUnion<T, DeviceMotionEvent> | undefined;
+    onDeviceOrientation?: EventHandlerUnion<T, DeviceOrientationEvent> | undefined;
+    onDeviceOrientationAbsolute?: EventHandlerUnion<T, DeviceOrientationEvent> | undefined;
+    onGamepadConnected?: EventHandlerUnion<T, GamepadEvent> | undefined;
+    onGamepadDisconnected?: EventHandlerUnion<T, GamepadEvent> | undefined;
+    onHashchange?: EventHandlerUnion<T, HashChangeEvent> | undefined;
+    onLanguageChange?: EventHandlerUnion<T, Event> | undefined;
+    onMessage?: EventHandlerUnion<T, MessageEvent> | undefined;
+    onMessageError?: EventHandlerUnion<T, MessageEvent> | undefined;
+    onOffline?: EventHandlerUnion<T, Event> | undefined;
+    onOnline?: EventHandlerUnion<T, Event> | undefined;
+    /** @deprecated Use `screen.orientation` (`ScreenOrientation.change`) instead. */
+    onOrientationChange?: EventHandlerUnion<T, Event> | undefined;
+    onPageHide?: EventHandlerUnion<T, PageTransitionEvent> | undefined;
+    onPageReveal?: EventHandlerUnion<T, PageRevealEvent> | undefined;
+    onPageShow?: EventHandlerUnion<T, PageTransitionEvent> | undefined;
+    onPageSwap?: EventHandlerUnion<T, PageSwapEvent> | undefined;
+    onPopstate?: EventHandlerUnion<T, PopStateEvent> | undefined;
+    onRejectionHandled?: EventHandlerUnion<T, PromiseRejectionEvent> | undefined;
+    onStorage?: EventHandlerUnion<T, StorageEvent> | undefined;
+    onUnhandledRejection?: EventHandlerUnion<T, PromiseRejectionEvent> | undefined;
+    onUnload?: EventHandlerUnion<T, Event> | undefined;
+
+    "on:afterprint"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:beforeprint"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:beforeunload"?: EventHandlerWithOptionsUnion<T, BeforeUnloadEvent> | undefined;
+    "on:devicemotion"?: EventHandlerWithOptionsUnion<T, DeviceMotionEvent> | undefined;
+    "on:deviceorientation"?: EventHandlerWithOptionsUnion<T, DeviceOrientationEvent> | undefined;
+    "on:deviceorientationabsolute"?:
+      | EventHandlerWithOptionsUnion<T, DeviceOrientationEvent>
+      | undefined;
+    "on:gamepadconnected"?: EventHandlerWithOptionsUnion<T, GamepadEvent> | undefined;
+    "on:gamepaddisconnected"?: EventHandlerWithOptionsUnion<T, GamepadEvent> | undefined;
+    "on:hashchange"?: EventHandlerWithOptionsUnion<T, HashChangeEvent> | undefined;
+    "on:languagechange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:message"?: EventHandlerWithOptionsUnion<T, MessageEvent> | undefined;
+    "on:messageerror"?: EventHandlerWithOptionsUnion<T, MessageEvent> | undefined;
+    "on:offline"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:online"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    /** @deprecated Use `screen.orientation` (`ScreenOrientation.change`) instead. */
+    "on:orientationchange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:pagehide"?: EventHandlerWithOptionsUnion<T, PageTransitionEvent> | undefined;
+    "on:pagereveal"?: EventHandlerWithOptionsUnion<T, PageRevealEvent> | undefined;
+    "on:pageshow"?: EventHandlerWithOptionsUnion<T, PageTransitionEvent> | undefined;
+    "on:pageswap"?: EventHandlerWithOptionsUnion<T, PageSwapEvent> | undefined;
+    "on:popstate"?: EventHandlerWithOptionsUnion<T, PopStateEvent> | undefined;
+    "on:rejectionhandled"?: EventHandlerWithOptionsUnion<T, PromiseRejectionEvent> | undefined;
+    "on:storage"?: EventHandlerWithOptionsUnion<T, StorageEvent> | undefined;
+    "on:unhandledrejection"?: EventHandlerWithOptionsUnion<T, PromiseRejectionEvent> | undefined;
+    "on:unload"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+  }
+
+  /**
+   * Global `EventHandlersElement`, defined for all tags.
+   *
+   * That's events defined and shared BY ALL of the `HTMLElement/SVGElement/MathMLElement`
+   * interfaces.
+   *
+   * Includes events defined for the `Element` interface.
+   */
+  interface EventHandlersElement<T> {
+    onAbort?: EventHandlerUnion<T, UIEvent> | undefined;
+    onAnimationCancel?: EventHandlerUnion<T, AnimationEvent> | undefined;
+    onAnimationEnd?: EventHandlerUnion<T, AnimationEvent> | undefined;
+    onAnimationIteration?: EventHandlerUnion<T, AnimationEvent> | undefined;
+    onAnimationStart?: EventHandlerUnion<T, AnimationEvent> | undefined;
+    onAuxClick?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onBeforeCopy?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onBeforeCut?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onBeforeInput?: InputEventHandlerUnion<T, InputEvent> | undefined;
+    onBeforeMatch?: EventHandlerUnion<T, Event> | undefined;
+    onBeforePaste?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onBeforeToggle?: EventHandlerUnion<T, ToggleEvent> | undefined;
+    onBeforeXRSelect?: EventHandlerUnion<T, Event> | undefined;
+    onBlur?: FocusEventHandlerUnion<T, FocusEvent> | undefined;
+    onCancel?: EventHandlerUnion<T, Event> | undefined;
+    onCanPlay?: EventHandlerUnion<T, Event> | undefined;
+    onCanPlayThrough?: EventHandlerUnion<T, Event> | undefined;
+    onChange?: ChangeEventHandlerUnion<T, Event> | undefined;
+    onClick?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onClose?: EventHandlerUnion<T, Event> | undefined;
+    onCommand?: EventHandlerUnion<T, CommandEvent> | undefined;
+    onCompositionEnd?: EventHandlerUnion<T, CompositionEvent> | undefined;
+    onCompositionStart?: EventHandlerUnion<T, CompositionEvent> | undefined;
+    onCompositionUpdate?: EventHandlerUnion<T, CompositionEvent> | undefined;
+    onContentVisibilityAutoStateChange?:
+      | EventHandlerUnion<T, ContentVisibilityAutoStateChangeEvent>
+      | undefined;
+    onContextLost?: EventHandlerUnion<T, Event> | undefined;
+    onContextMenu?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onContextRestored?: EventHandlerUnion<T, Event> | undefined;
+    onCopy?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onCueChange?: EventHandlerUnion<T, Event> | undefined;
+    onCut?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onDblClick?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onDrag?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragEnd?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragEnter?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragExit?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragLeave?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragOver?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDragStart?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDrop?: EventHandlerUnion<T, DragEvent> | undefined;
+    onDurationChange?: EventHandlerUnion<T, Event> | undefined;
+    onEmptied?: EventHandlerUnion<T, Event> | undefined;
+    onEnded?: EventHandlerUnion<T, Event> | undefined;
+    onError?: EventHandlerUnion<T, ErrorEvent> | undefined;
+    onFocus?: FocusEventHandlerUnion<T, FocusEvent> | undefined;
+    onFocusIn?: FocusEventHandlerUnion<T, FocusEvent> | undefined;
+    onFocusOut?: FocusEventHandlerUnion<T, FocusEvent> | undefined;
+    onFormData?: EventHandlerUnion<T, FormDataEvent> | undefined;
+    onFullscreenChange?: EventHandlerUnion<T, Event> | undefined;
+    onFullscreenError?: EventHandlerUnion<T, Event> | undefined;
+    onGotPointerCapture?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onInput?: InputEventHandlerUnion<T, InputEvent> | undefined;
+    onInvalid?: EventHandlerUnion<T, Event> | undefined;
+    onKeyDown?: EventHandlerUnion<T, KeyboardEvent> | undefined;
+    onKeyPress?: EventHandlerUnion<T, KeyboardEvent> | undefined;
+    onKeyUp?: EventHandlerUnion<T, KeyboardEvent> | undefined;
+    onLoad?: EventHandlerUnion<T, Event> | undefined;
+    onLoadedData?: EventHandlerUnion<T, Event> | undefined;
+    onLoadedMetadata?: EventHandlerUnion<T, Event> | undefined;
+    onLoadStart?: EventHandlerUnion<T, Event> | undefined;
+    onLostPointerCapture?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onMouseDown?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseEnter?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseLeave?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseMove?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseOut?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseOver?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onMouseUp?: EventHandlerUnion<T, MouseEvent> | undefined;
+    onPaste?: EventHandlerUnion<T, ClipboardEvent> | undefined;
+    onPause?: EventHandlerUnion<T, Event> | undefined;
+    onPlay?: EventHandlerUnion<T, Event> | undefined;
+    onPlaying?: EventHandlerUnion<T, Event> | undefined;
+    onPointerCancel?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerDown?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerEnter?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerLeave?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerMove?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerOut?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerOver?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerRawUpdate?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onPointerUp?: EventHandlerUnion<T, PointerEvent> | undefined;
+    onProgress?: EventHandlerUnion<T, ProgressEvent> | undefined;
+    onRateChange?: EventHandlerUnion<T, Event> | undefined;
+    onReset?: EventHandlerUnion<T, Event> | undefined;
+    onResize?: EventHandlerUnion<T, UIEvent> | undefined;
+    onScroll?: EventHandlerUnion<T, Event> | undefined;
+    onScrollEnd?: EventHandlerUnion<T, Event> | undefined;
+    onScrollSnapChange?: EventHandlerUnion<T, SnapEvent> | undefined;
+    onScrollSnapChanging?: EventHandlerUnion<T, SnapEvent> | undefined;
+    onSecurityPolicyViolation?: EventHandlerUnion<T, SecurityPolicyViolationEvent> | undefined;
+    onSeeked?: EventHandlerUnion<T, Event> | undefined;
+    onSeeking?: EventHandlerUnion<T, Event> | undefined;
+    onSelect?: EventHandlerUnion<T, Event> | undefined;
+    onSelectionChange?: EventHandlerUnion<T, Event> | undefined;
+    onSelectStart?: EventHandlerUnion<T, Event> | undefined;
+    onSlotChange?: EventHandlerUnion<T, Event> | undefined;
+    onStalled?: EventHandlerUnion<T, Event> | undefined;
+    onSubmit?: EventHandlerUnion<T, SubmitEvent> | undefined;
+    onSuspend?: EventHandlerUnion<T, Event> | undefined;
+    onTimeUpdate?: EventHandlerUnion<T, Event> | undefined;
+    onToggle?: EventHandlerUnion<T, ToggleEvent> | undefined;
+    onTouchCancel?: EventHandlerUnion<T, TouchEvent> | undefined;
+    onTouchEnd?: EventHandlerUnion<T, TouchEvent> | undefined;
+    onTouchMove?: EventHandlerUnion<T, TouchEvent> | undefined;
+    onTouchStart?: EventHandlerUnion<T, TouchEvent> | undefined;
+    onTransitionCancel?: EventHandlerUnion<T, TransitionEvent> | undefined;
+    onTransitionEnd?: EventHandlerUnion<T, TransitionEvent> | undefined;
+    onTransitionRun?: EventHandlerUnion<T, TransitionEvent> | undefined;
+    onTransitionStart?: EventHandlerUnion<T, TransitionEvent> | undefined;
+    onVolumeChange?: EventHandlerUnion<T, Event> | undefined;
+    onWaiting?: EventHandlerUnion<T, Event> | undefined;
+    onWheel?: EventHandlerUnion<T, WheelEvent> | undefined;
+
+    "on:abort"?: EventHandlerWithOptionsUnion<T, UIEvent> | undefined;
+    "on:animationcancel"?: EventHandlerWithOptionsUnion<T, AnimationEvent> | undefined;
+    "on:animationend"?: EventHandlerWithOptionsUnion<T, AnimationEvent> | undefined;
+    "on:animationiteration"?: EventHandlerWithOptionsUnion<T, AnimationEvent> | undefined;
+    "on:animationstart"?: EventHandlerWithOptionsUnion<T, AnimationEvent> | undefined;
+    "on:auxclick"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:beforecopy"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:beforecut"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:beforeinput"?:
+      | EventHandlerWithOptionsUnion<T, InputEvent, InputEventHandler<T, InputEvent>>
+      | undefined;
+    "on:beforematch"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:beforepaste"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:beforetoggle"?: EventHandlerWithOptionsUnion<T, ToggleEvent> | undefined;
+    "on:beforexrselect"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:blur"?:
+      | EventHandlerWithOptionsUnion<T, FocusEvent, FocusEventHandler<T, FocusEvent>>
+      | undefined;
+    "on:cancel"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:canplay"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:canplaythrough"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:change"?: EventHandlerWithOptionsUnion<T, Event, ChangeEventHandler<T, Event>> | undefined;
+    "on:click"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:close"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:command"?: EventHandlerWithOptionsUnion<T, CommandEvent> | undefined;
+    "on:compositionend"?: EventHandlerWithOptionsUnion<T, CompositionEvent> | undefined;
+    "on:compositionstart"?: EventHandlerWithOptionsUnion<T, CompositionEvent> | undefined;
+    "on:compositionupdate"?: EventHandlerWithOptionsUnion<T, CompositionEvent> | undefined;
+    "on:contentvisibilityautostatechange"?:
+      | EventHandlerWithOptionsUnion<T, ContentVisibilityAutoStateChangeEvent>
+      | undefined;
+    "on:contextlost"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:contextmenu"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:contextrestored"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:copy"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:cuechange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:cut"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:dblclick"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:drag"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragend"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragenter"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragexit"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragleave"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragover"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:dragstart"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:drop"?: EventHandlerWithOptionsUnion<T, DragEvent> | undefined;
+    "on:durationchange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:emptied"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:ended"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:error"?: EventHandlerWithOptionsUnion<T, ErrorEvent> | undefined;
+    "on:focus"?:
+      | EventHandlerWithOptionsUnion<T, FocusEvent, FocusEventHandler<T, FocusEvent>>
+      | undefined;
+    "on:focusin"?:
+      | EventHandlerWithOptionsUnion<T, FocusEvent, FocusEventHandler<T, FocusEvent>>
+      | undefined;
+    "on:focusout"?:
+      | EventHandlerWithOptionsUnion<T, FocusEvent, FocusEventHandler<T, FocusEvent>>
+      | undefined;
+    "on:formdata"?: EventHandlerWithOptionsUnion<T, FormDataEvent> | undefined;
+    "on:fullscreenchange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:fullscreenerror"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:gotpointercapture"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:input"?:
+      | EventHandlerWithOptionsUnion<T, InputEvent, InputEventHandler<T, InputEvent>>
+      | undefined;
+    "on:invalid"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:keydown"?: EventHandlerWithOptionsUnion<T, KeyboardEvent> | undefined;
+    "on:keypress"?: EventHandlerWithOptionsUnion<T, KeyboardEvent> | undefined;
+    "on:keyup"?: EventHandlerWithOptionsUnion<T, KeyboardEvent> | undefined;
+    "on:load"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:loadeddata"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:loadedmetadata"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:loadstart"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:lostpointercapture"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:mousedown"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mouseenter"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mouseleave"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mousemove"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mouseout"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mouseover"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:mouseup"?: EventHandlerWithOptionsUnion<T, MouseEvent> | undefined;
+    "on:paste"?: EventHandlerWithOptionsUnion<T, ClipboardEvent> | undefined;
+    "on:pause"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:play"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:playing"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:pointercancel"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerdown"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerenter"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerleave"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointermove"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerout"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerover"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerrawupdate"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:pointerup"?: EventHandlerWithOptionsUnion<T, PointerEvent> | undefined;
+    "on:progress"?: EventHandlerWithOptionsUnion<T, ProgressEvent> | undefined;
+    "on:ratechange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:reset"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:resize"?: EventHandlerWithOptionsUnion<T, UIEvent> | undefined;
+    "on:scroll"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:scrollend"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:scrollsnapchange"?: EventHandlerWithOptionsUnion<T, SnapEvent> | undefined;
+    "on:scrollsnapchanging"?: EventHandlerWithOptionsUnion<T, SnapEvent> | undefined;
+    "on:securitypolicyviolation"?:
+      | EventHandlerWithOptionsUnion<T, SecurityPolicyViolationEvent>
+      | undefined;
+    "on:seeked"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:seeking"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:select"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:selectionchange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:selectstart"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:slotchange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:stalled"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:submit"?: EventHandlerWithOptionsUnion<T, SubmitEvent> | undefined;
+    "on:suspend"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:timeupdate"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:toggle"?: EventHandlerWithOptionsUnion<T, ToggleEvent> | undefined;
+    "on:touchcancel"?: EventHandlerWithOptionsUnion<T, TouchEvent> | undefined;
+    "on:touchend"?: EventHandlerWithOptionsUnion<T, TouchEvent> | undefined;
+    "on:touchmove"?: EventHandlerWithOptionsUnion<T, TouchEvent> | undefined;
+    "on:touchstart"?: EventHandlerWithOptionsUnion<T, TouchEvent> | undefined;
+    "on:transitioncancel"?: EventHandlerWithOptionsUnion<T, TransitionEvent> | undefined;
+    "on:transitionend"?: EventHandlerWithOptionsUnion<T, TransitionEvent> | undefined;
+    "on:transitionrun"?: EventHandlerWithOptionsUnion<T, TransitionEvent> | undefined;
+    "on:transitionstart"?: EventHandlerWithOptionsUnion<T, TransitionEvent> | undefined;
+    "on:volumechange"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:waiting"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+    "on:wheel"?: EventHandlerWithOptionsUnion<T, WheelEvent> | undefined;
+  }
+
+  // EventName = "click" | "mousedown" ...
+
+  type EventName =
+    | (keyof EventHandlersWindow<any> extends infer K
+        ? K extends `on:${infer T}`
+          ? T
+          : K extends `on${infer T}`
+          ? Lowercase<T>
+          : never
+        : never)
+    | (keyof EventHandlersElement<any> extends infer K
+        ? K extends `on:${infer T}`
+          ? T
+          : K extends `on${infer T}`
+          ? Lowercase<T>
+          : never
+        : never)
+    | (string & {});
+
+  type ExtractEventType<T> = {
+    [K in keyof T as K extends `on:${infer Name}`
+      ? Name
+      : never]: T[K] extends EventHandlerWithOptionsUnion<Element, infer E> ? E : never;
+  };
+
+  // EventType["click"] = MouseEvent
+
+  type EventType = ExtractEventType<EventHandlersElement<Element>> &
+    ExtractEventType<EventHandlersWindow<Element>>;
+
+  // GLOBAL ATTRIBUTES
+
+  /**
+   * Global `Element` + `Node` interface keys, shared by all tags regardless of their namespace:
+   *
+   * 1. That's `keys` that are defined BY ALL `HTMLElement/SVGElement/MathMLElement` interfaces.
+   * 2. Includes `keys` defined by `Element` and `Node` interfaces.
+   */
+  interface ElementAttributes<T>
+    extends CustomAttributes<T>,
+      PropAttributes,
+      OnAttributes<T>,
+      EventHandlersElement<T>,
+      AriaAttributes {
+    // [key: ClassKeys]: boolean;
+
+    // properties
+    innerHTML?: string;
+    textContent?: string | number;
+
+    // attributes
+    autofocus?: BooleanAttribute | RemoveAttribute;
+    class?: string | ClassList | RemoveAttribute;
+    elementtiming?: string | RemoveAttribute;
+    id?: string | RemoveAttribute;
+    nonce?: string | RemoveAttribute;
+    part?: string | RemoveAttribute;
+    slot?: string | RemoveAttribute;
+    style?: CSSProperties | string | RemoveAttribute;
+    tabindex?: number | string | RemoveAttribute;
+  }
+  /** Global `SVGElement` interface keys only. */
+  interface SVGAttributes<T> extends ElementAttributes<T> {
+    id?: string | RemoveAttribute;
+    lang?: string | RemoveAttribute;
+    tabindex?: number | string | RemoveAttribute;
+    xmlns?: string | RemoveAttribute;
+  }
+  /** Global `MathMLElement` interface keys only. */
+  interface MathMLAttributes<T> extends ElementAttributes<T> {
+    dir?: HTMLDir | RemoveAttribute;
+    displaystyle?: BooleanAttribute | RemoveAttribute;
+    scriptlevel?: string | RemoveAttribute;
+    xmlns?: string | RemoveAttribute;
+
+    /** @deprecated */
+    href?: string | RemoveAttribute;
+    /** @deprecated */
+    mathbackground?: string | RemoveAttribute;
+    /** @deprecated */
+    mathcolor?: string | RemoveAttribute;
+    /** @deprecated */
+    mathsize?: string | RemoveAttribute;
+  }
+  /** Global `HTMLElement` interface keys only. */
+  interface HTMLAttributes<T> extends ElementAttributes<T> {
+    // properties
+    innerText?: string | number;
+
+    // attributes
+    accesskey?: string | RemoveAttribute;
+    autocapitalize?: HTMLAutocapitalize | RemoveAttribute;
+    autocorrect?: "on" | "off" | RemoveAttribute;
+    contenteditable?:
+      | EnumeratedPseudoBoolean
+      | EnumeratedAcceptsEmpty
+      | "plaintext-only"
+      | "inherit"
+      | RemoveAttribute;
+    dir?: HTMLDir | RemoveAttribute;
+    draggable?: EnumeratedPseudoBoolean | RemoveAttribute;
+    enterkeyhint?:
+      | "enter"
+      | "done"
+      | "go"
+      | "next"
+      | "previous"
+      | "search"
+      | "send"
+      | RemoveAttribute;
+    exportparts?: string | RemoveAttribute;
+    hidden?: EnumeratedAcceptsEmpty | "hidden" | "until-found" | RemoveAttribute;
+    inert?: BooleanAttribute | RemoveAttribute;
+    inputmode?:
+      | "decimal"
+      | "email"
+      | "none"
+      | "numeric"
+      | "search"
+      | "tel"
+      | "text"
+      | "url"
+      | RemoveAttribute;
+    is?: string | RemoveAttribute;
+    lang?: string | RemoveAttribute;
+    popover?: EnumeratedAcceptsEmpty | "manual" | "auto" | "hint" | RemoveAttribute;
+    spellcheck?: EnumeratedPseudoBoolean | EnumeratedAcceptsEmpty | RemoveAttribute;
+    title?: string | RemoveAttribute;
+    translate?: "yes" | "no" | RemoveAttribute;
+
+    /** @experimental */
+    virtualkeyboardpolicy?: EnumeratedAcceptsEmpty | "auto" | "manual" | RemoveAttribute;
+    /** @experimental */
+    writingsuggestions?: EnumeratedPseudoBoolean | RemoveAttribute;
+
+    // Microdata
+    itemid?: string | RemoveAttribute;
+    itemprop?: string | RemoveAttribute;
+    itemref?: string | RemoveAttribute;
+    itemscope?: BooleanAttribute | RemoveAttribute;
+    itemtype?: string | RemoveAttribute;
+
+    // RDFa Attributes
+    about?: string | RemoveAttribute;
+    datatype?: string | RemoveAttribute;
+    inlist?: any | RemoveAttribute;
+    prefix?: string | RemoveAttribute;
+    property?: string | RemoveAttribute;
+    resource?: string | RemoveAttribute;
+    typeof?: string | RemoveAttribute;
+    vocab?: string | RemoveAttribute;
+
+    /** @deprecated */
+    contextmenu?: string | RemoveAttribute;
+  }
+
+  // HTML
+
+  type HTMLAutocapitalize = "off" | "none" | "on" | "sentences" | "words" | "characters";
+  type HTMLAutocomplete =
+    | "additional-name"
+    | "address-level1"
+    | "address-level2"
+    | "address-level3"
+    | "address-level4"
+    | "address-line1"
+    | "address-line2"
+    | "address-line3"
+    | "bday"
+    | "bday-day"
+    | "bday-month"
+    | "bday-year"
+    | "billing"
+    | "cc-additional-name"
+    | "cc-csc"
+    | "cc-exp"
+    | "cc-exp-month"
+    | "cc-exp-year"
+    | "cc-family-name"
+    | "cc-given-name"
+    | "cc-name"
+    | "cc-number"
+    | "cc-type"
+    | "country"
+    | "country-name"
+    | "current-password"
+    | "email"
+    | "family-name"
+    | "fax"
+    | "given-name"
+    | "home"
+    | "honorific-prefix"
+    | "honorific-suffix"
+    | "impp"
+    | "language"
+    | "mobile"
+    | "name"
+    | "new-password"
+    | "nickname"
+    | "off"
+    | "on"
+    | "organization"
+    | "organization-title"
+    | "pager"
+    | "photo"
+    | "postal-code"
+    | "sex"
+    | "shipping"
+    | "street-address"
+    | "tel"
+    | "tel-area-code"
+    | "tel-country-code"
+    | "tel-extension"
+    | "tel-local"
+    | "tel-local-prefix"
+    | "tel-local-suffix"
+    | "tel-national"
+    | "transaction-amount"
+    | "transaction-currency"
+    | "url"
+    | "username"
+    | "work"
+    | (string & {});
+  type HTMLDir = "ltr" | "rtl" | "auto";
+  type HTMLFormEncType = "application/x-www-form-urlencoded" | "multipart/form-data" | "text/plain";
+  type HTMLFormMethod = "post" | "get" | "dialog";
+  type HTMLCrossorigin = "anonymous" | "use-credentials" | EnumeratedAcceptsEmpty;
+  type HTMLReferrerPolicy =
+    | "no-referrer"
+    | "no-referrer-when-downgrade"
+    | "origin"
+    | "origin-when-cross-origin"
+    | "same-origin"
+    | "strict-origin"
+    | "strict-origin-when-cross-origin"
+    | "unsafe-url";
+  type HTMLIframeSandbox =
+    | "allow-downloads-without-user-activation"
+    | "allow-downloads"
+    | "allow-forms"
+    | "allow-modals"
+    | "allow-orientation-lock"
+    | "allow-pointer-lock"
+    | "allow-popups"
+    | "allow-popups-to-escape-sandbox"
+    | "allow-presentation"
+    | "allow-same-origin"
+    | "allow-scripts"
+    | "allow-storage-access-by-user-activation"
+    | "allow-top-navigation"
+    | "allow-top-navigation-by-user-activation"
+    | "allow-top-navigation-to-custom-protocols";
+  type HTMLLinkAs =
+    | "audio"
+    | "document"
+    | "embed"
+    | "fetch"
+    | "font"
+    | "image"
+    | "object"
+    | "script"
+    | "style"
+    | "track"
+    | "video"
+    | "worker";
+
+  interface AnchorHTMLAttributes<T> extends HTMLAttributes<T> {
+    download?: string | EnumeratedAcceptsEmpty | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    hreflang?: string | RemoveAttribute;
+    ping?: string | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    rel?: string | RemoveAttribute;
+    target?: "_self" | "_blank" | "_parent" | "_top" | (string & {}) | RemoveAttribute;
+    type?: string | RemoveAttribute;
+
+    /** @experimental */
+    attributionsrc?: string | RemoveAttribute;
+
+    /** @deprecated */
+    charset?: string | RemoveAttribute;
+    /** @deprecated */
+    coords?: string | RemoveAttribute;
+    /** @deprecated */
+    name?: string | RemoveAttribute;
+    /** @deprecated */
+    rev?: string | RemoveAttribute;
+    /** @deprecated */
+    shape?: "rect" | "circle" | "poly" | "default" | RemoveAttribute;
+  }
+  interface AudioHTMLAttributes<T> extends MediaHTMLAttributes<T> {}
+  interface AreaHTMLAttributes<T> extends HTMLAttributes<T> {
+    alt?: string | RemoveAttribute;
+    coords?: string | RemoveAttribute;
+    download?: string | EnumeratedAcceptsEmpty | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    ping?: string | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    rel?: string | RemoveAttribute;
+    shape?: "rect" | "circle" | "poly" | "default" | RemoveAttribute;
+    target?: "_self" | "_blank" | "_parent" | "_top" | (string & {}) | RemoveAttribute;
+
+    /** @experimental */
+    attributionsrc?: string | RemoveAttribute;
+
+    /** @deprecated */
+    nohref?: BooleanAttribute | RemoveAttribute;
+  }
+  interface BaseHTMLAttributes<T> extends HTMLAttributes<T> {
+    href?: string | RemoveAttribute;
+    target?: "_self" | "_blank" | "_parent" | "_top" | (string & {}) | RemoveAttribute;
+  }
+  interface BdoHTMLAttributes<T> extends HTMLAttributes<T> {
+    dir?: "ltr" | "rtl" | RemoveAttribute;
+  }
+  interface BlockquoteHTMLAttributes<T> extends HTMLAttributes<T> {
+    cite?: string | RemoveAttribute;
+  }
+  interface BodyHTMLAttributes<T> extends HTMLAttributes<T>, EventHandlersWindow<T> {}
+  interface ButtonHTMLAttributes<T> extends HTMLAttributes<T> {
+    disabled?: BooleanAttribute | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    formaction?: string | SerializableAttributeValue | RemoveAttribute;
+    formenctype?: HTMLFormEncType | RemoveAttribute;
+    formmethod?: HTMLFormMethod | RemoveAttribute;
+    formnovalidate?: BooleanAttribute | RemoveAttribute;
+    formtarget?: "_self" | "_blank" | "_parent" | "_top" | (string & {}) | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    popovertarget?: string | RemoveAttribute;
+    popovertargetaction?: "hide" | "show" | "toggle" | RemoveAttribute;
+    type?: "submit" | "reset" | "button" | "menu" | RemoveAttribute;
+    value?: string | RemoveAttribute;
+
+    /** @experimental */
+    command?:
+      | "show-modal"
+      | "close"
+      | "show-popover"
+      | "hide-popover"
+      | "toggle-popover"
+      | (string & {})
+      | RemoveAttribute;
+    /** @experimental */
+    commandfor?: string | RemoveAttribute;
+  }
+  interface CanvasHTMLAttributes<T> extends HTMLAttributes<T> {
+    height?: number | string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    "moz-opaque"?: BooleanAttribute | RemoveAttribute;
+  }
+  interface CaptionHTMLAttributes<T> extends HTMLAttributes<T> {
+    /** @deprecated */
+    align?: "left" | "center" | "right" | RemoveAttribute;
+  }
+  interface ColHTMLAttributes<T> extends HTMLAttributes<T> {
+    span?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    align?: "left" | "center" | "right" | "justify" | "char" | RemoveAttribute;
+    /** @deprecated */
+    bgcolor?: string | RemoveAttribute;
+    /** @deprecated */
+    char?: string | RemoveAttribute;
+    /** @deprecated */
+    charoff?: string | RemoveAttribute;
+    /** @deprecated */
+    valign?: "baseline" | "bottom" | "middle" | "top" | RemoveAttribute;
+    /** @deprecated */
+    width?: number | string | RemoveAttribute;
+  }
+  interface ColgroupHTMLAttributes<T> extends HTMLAttributes<T> {
+    span?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    align?: "left" | "center" | "right" | "justify" | "char" | RemoveAttribute;
+    /** @deprecated */
+    bgcolor?: string | RemoveAttribute;
+    /** @deprecated */
+    char?: string | RemoveAttribute;
+    /** @deprecated */
+    charoff?: string | RemoveAttribute;
+    /** @deprecated */
+    valign?: "baseline" | "bottom" | "middle" | "top" | RemoveAttribute;
+    /** @deprecated */
+    width?: number | string | RemoveAttribute;
+  }
+  interface DataHTMLAttributes<T> extends HTMLAttributes<T> {
+    value?: string | string[] | number | RemoveAttribute;
+  }
+  interface DetailsHtmlAttributes<T> extends HTMLAttributes<T> {
+    name?: string | RemoveAttribute;
+    open?: BooleanAttribute | RemoveAttribute;
+  }
+  interface DialogHtmlAttributes<T> extends HTMLAttributes<T> {
+    open?: BooleanAttribute | RemoveAttribute;
+    /**
+     * Do not add the `tabindex` property to the `<dialog>` element as it is not interactive and
+     * does not receive focus. The dialog's contents, including the close button contained in the
+     * dialog, can receive focus and be interactive.
+     *
+     * @see https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/dialog#usage_notes
+     */
+    tabindex?: never;
+    "prop:tabIndex"?: never;
+
+    /** @experimental */
+    closedby?: "any" | "closerequest" | "none" | RemoveAttribute;
+  }
+  interface EmbedHTMLAttributes<T> extends HTMLAttributes<T> {
+    height?: number | string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    type?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    align?: "left" | "right" | "justify" | "center" | RemoveAttribute;
+    /** @deprecated */
+    name?: string | RemoveAttribute;
+  }
+  interface FieldsetHTMLAttributes<T> extends HTMLAttributes<T> {
+    disabled?: BooleanAttribute | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    name?: string | RemoveAttribute;
+  }
+  interface FormHTMLAttributes<T> extends HTMLAttributes<T> {
+    "accept-charset"?: string | RemoveAttribute;
+    action?: string | SerializableAttributeValue | RemoveAttribute;
+    autocomplete?: "on" | "off" | RemoveAttribute;
+    encoding?: HTMLFormEncType | RemoveAttribute;
+    enctype?: HTMLFormEncType | RemoveAttribute;
+    method?: HTMLFormMethod | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    novalidate?: BooleanAttribute | RemoveAttribute;
+    rel?: string | RemoveAttribute;
+    target?: "_self" | "_blank" | "_parent" | "_top" | (string & {}) | RemoveAttribute;
+
+    /** @deprecated */
+    accept?: string | RemoveAttribute;
+  }
+  interface IframeHTMLAttributes<T> extends HTMLAttributes<T> {
+    allow?: string | RemoveAttribute;
+    allowfullscreen?: BooleanAttribute | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    loading?: "eager" | "lazy" | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    sandbox?: HTMLIframeSandbox | string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    srcdoc?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+
+    /** @experimental */
+    adauctionheaders?: BooleanAttribute | RemoveAttribute;
+    /**
+     * @non-standard
+     * @experimental
+     */
+    browsingtopics?: BooleanAttribute | RemoveAttribute;
+    /** @experimental */
+    credentialless?: BooleanAttribute | RemoveAttribute;
+    /** @experimental */
+    csp?: string | RemoveAttribute;
+    /** @experimental */
+    privatetoken?: string | RemoveAttribute;
+    /** @experimental */
+    sharedstoragewritable?: BooleanAttribute | RemoveAttribute;
+
+    /** @deprecated */
+    align?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    allowpaymentrequest?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    allowtransparency?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    frameborder?: number | string | RemoveAttribute;
+    /** @deprecated */
+    longdesc?: string | RemoveAttribute;
+    /** @deprecated */
+    marginheight?: number | string | RemoveAttribute;
+    /** @deprecated */
+    marginwidth?: number | string | RemoveAttribute;
+    /** @deprecated */
+    scrolling?: "yes" | "no" | "auto" | RemoveAttribute;
+    /** @deprecated */
+    seamless?: BooleanAttribute | RemoveAttribute;
+  }
+  interface ImgHTMLAttributes<T> extends HTMLAttributes<T> {
+    alt?: string | RemoveAttribute;
+    browsingtopics?: string | RemoveAttribute;
+    crossorigin?: HTMLCrossorigin | RemoveAttribute;
+    decoding?: "sync" | "async" | "auto" | RemoveAttribute;
+    fetchpriority?: "high" | "low" | "auto" | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    ismap?: BooleanAttribute | RemoveAttribute;
+    loading?: "eager" | "lazy" | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    sizes?: string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    srcset?: string | RemoveAttribute;
+    usemap?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+
+    /** @experimental */
+    attributionsrc?: string | RemoveAttribute;
+    /** @experimental */
+    sharedstoragewritable?: BooleanAttribute | RemoveAttribute;
+
+    /** @deprecated */
+    align?: "top" | "middle" | "bottom" | "left" | "right" | RemoveAttribute;
+    /** @deprecated */
+    border?: string | RemoveAttribute;
+    /** @deprecated */
+    hspace?: number | string | RemoveAttribute;
+    /** @deprecated */
+    intrinsicsize?: string | RemoveAttribute;
+    /** @deprecated */
+    longdesc?: string | RemoveAttribute;
+    /** @deprecated */
+    lowsrc?: string | RemoveAttribute;
+    /** @deprecated */
+    name?: string | RemoveAttribute;
+    /** @deprecated */
+    vspace?: number | string | RemoveAttribute;
+  }
+  interface InputHTMLAttributes<T> extends HTMLAttributes<T> {
+    accept?: string | RemoveAttribute;
+    alpha?: BooleanAttribute | RemoveAttribute;
+    alt?: string | RemoveAttribute;
+    autocomplete?: HTMLAutocomplete | RemoveAttribute;
+    capture?: "user" | "environment" | RemoveAttribute;
+
+    colorspace?: string | RemoveAttribute;
+    dirname?: string | RemoveAttribute;
+    disabled?: BooleanAttribute | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    formaction?: string | SerializableAttributeValue | RemoveAttribute;
+    formenctype?: HTMLFormEncType | RemoveAttribute;
+    formmethod?: HTMLFormMethod | RemoveAttribute;
+    formnovalidate?: BooleanAttribute | RemoveAttribute;
+    formtarget?: string | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    list?: string | RemoveAttribute;
+    max?: number | string | RemoveAttribute;
+    maxlength?: number | string | RemoveAttribute;
+    min?: number | string | RemoveAttribute;
+    minlength?: number | string | RemoveAttribute;
+    multiple?: BooleanAttribute | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    pattern?: string | RemoveAttribute;
+    placeholder?: string | RemoveAttribute;
+    popovertarget?: string | RemoveAttribute;
+    popovertargetaction?: "hide" | "show" | "toggle" | RemoveAttribute;
+    readonly?: BooleanAttribute | RemoveAttribute;
+    required?: BooleanAttribute | RemoveAttribute;
+    // https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input/search#results
+    results?: number | RemoveAttribute;
+    size?: number | string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    step?: number | string | RemoveAttribute;
+    type?:
+      | "button"
+      | "checkbox"
+      | "color"
+      | "date"
+      | "datetime-local"
+      | "email"
+      | "file"
+      | "hidden"
+      | "image"
+      | "month"
+      | "number"
+      | "password"
+      | "radio"
+      | "range"
+      | "reset"
+      | "search"
+      | "submit"
+      | "tel"
+      | "text"
+      | "time"
+      | "url"
+      | "week"
+      | (string & {})
+      | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    webkitdirectory?: BooleanAttribute | RemoveAttribute;
+
+    /** @non-standard */
+    incremental?: BooleanAttribute | RemoveAttribute;
+
+    /** @deprecated */
+    align?: string | RemoveAttribute;
+    /** @deprecated */
+    usemap?: string | RemoveAttribute;
+
+    // special cases locked to properties
+
+    checked?: BooleanProperty | RemoveProperty;
+    /** @error use `<input checked={..}/>` instead */
+    "prop:checked"?: never;
+
+    defaultChecked?: BooleanProperty | RemoveProperty;
+    /** @error use `<input defaultChecked={..}/>` instead */
+    "prop:defaultChecked"?: never;
+
+    value?: string | string[] | number | RemoveProperty;
+    /** @error use `<input value={..}/>` instead */
+    "prop:value"?: never;
+
+    defaultValue?: string | string[] | number | RemoveProperty;
+    /** @error use `<input defaultValue={..}/>` instead */
+    "prop:defaultValue"?: never;
+  }
+  interface ModHTMLAttributes<T> extends HTMLAttributes<T> {
+    cite?: string | RemoveAttribute;
+    datetime?: string | RemoveAttribute;
+  }
+  interface KeygenHTMLAttributes<T> extends HTMLAttributes<T> {
+    /** @deprecated */
+    challenge?: string | RemoveAttribute;
+    /** @deprecated */
+    disabled?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    form?: string | RemoveAttribute;
+    /** @deprecated */
+    keyparams?: string | RemoveAttribute;
+    /** @deprecated */
+    keytype?: string | RemoveAttribute;
+    /** @deprecated */
+    name?: string | RemoveAttribute;
+  }
+  interface LabelHTMLAttributes<T> extends HTMLAttributes<T> {
+    for?: string | RemoveAttribute;
+  }
+  interface LiHTMLAttributes<T> extends HTMLAttributes<T> {
+    value?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    type?: "1" | "a" | "A" | "i" | "I" | RemoveAttribute;
+  }
+  interface LinkHTMLAttributes<T> extends HTMLAttributes<T> {
+    as?: HTMLLinkAs | RemoveAttribute;
+    blocking?: "render" | RemoveAttribute;
+    color?: string | RemoveAttribute;
+    crossorigin?: HTMLCrossorigin | RemoveAttribute;
+    disabled?: BooleanAttribute | RemoveAttribute;
+    fetchpriority?: "high" | "low" | "auto" | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    hreflang?: string | RemoveAttribute;
+    imagesizes?: string | RemoveAttribute;
+    imagesrcset?: string | RemoveAttribute;
+    integrity?: string | RemoveAttribute;
+    media?: string | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    rel?: string | RemoveAttribute;
+    sizes?: string | RemoveAttribute;
+    type?: string | RemoveAttribute;
+
+    /** @deprecated */
+    charset?: string | RemoveAttribute;
+    /** @deprecated */
+    rev?: string | RemoveAttribute;
+    /** @deprecated */
+    target?: string | RemoveAttribute;
+  }
+  interface MapHTMLAttributes<T> extends HTMLAttributes<T> {
+    name?: string | RemoveAttribute;
+  }
+  interface MediaHTMLAttributes<T> extends HTMLAttributes<T> {
+    autoplay?: BooleanAttribute | RemoveAttribute;
+    controls?: BooleanAttribute | RemoveAttribute;
+    controlslist?:
+      | "nodownload"
+      | "nofullscreen"
+      | "noplaybackrate"
+      | "noremoteplayback"
+      | (string & {})
+      | RemoveAttribute;
+    crossorigin?: HTMLCrossorigin | RemoveAttribute;
+    disableremoteplayback?: BooleanAttribute | RemoveAttribute;
+    loop?: BooleanAttribute | RemoveAttribute;
+
+    preload?: "none" | "metadata" | "auto" | EnumeratedAcceptsEmpty | RemoveAttribute;
+    src?: string | RemoveAttribute;
+
+    onEncrypted?: EventHandlerUnion<T, MediaEncryptedEvent> | undefined;
+    "on:encrypted"?: EventHandlerWithOptionsUnion<T, MediaEncryptedEvent> | undefined;
+
+    onWaitingForKey?: EventHandlerUnion<T, Event> | undefined;
+    "on:waitingforkey"?: EventHandlerWithOptionsUnion<T, Event> | undefined;
+
+    /** @deprecated */
+    mediagroup?: string | RemoveAttribute;
+
+    // special cases locked to properties
+
+    muted?: BooleanProperty | RemoveProperty;
+    /** @error use `<video/audio muted={..}/>` instead */
+    "prop:muted"?: never;
+
+    defaultMuted?: BooleanProperty | RemoveProperty;
+    /** @error use `<video/audio defaultMuted={..}/>` instead */
+    "prop:defaultMuted"?: never;
+  }
+  interface MenuHTMLAttributes<T> extends HTMLAttributes<T> {
+    /** @deprecated */
+    compact?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    label?: string | RemoveAttribute;
+    /** @deprecated */
+    type?: "context" | "toolbar" | RemoveAttribute;
+  }
+  interface MetaHTMLAttributes<T> extends HTMLAttributes<T> {
+    "http-equiv"?:
+      | "content-security-policy"
+      | "content-type"
+      | "default-style"
+      | "x-ua-compatible"
+      | "refresh"
+      | RemoveAttribute;
+    charset?: string | RemoveAttribute;
+    content?: string | RemoveAttribute;
+    media?: string | RemoveAttribute;
+    name?: string | RemoveAttribute;
+
+    /** @deprecated */
+    scheme?: string | RemoveAttribute;
+  }
+  interface MeterHTMLAttributes<T> extends HTMLAttributes<T> {
+    form?: string | RemoveAttribute;
+    high?: number | string | RemoveAttribute;
+    low?: number | string | RemoveAttribute;
+    max?: number | string | RemoveAttribute;
+    min?: number | string | RemoveAttribute;
+    optimum?: number | string | RemoveAttribute;
+    value?: string | string[] | number | RemoveAttribute;
+  }
+  interface QuoteHTMLAttributes<T> extends HTMLAttributes<T> {
+    cite?: string | RemoveAttribute;
+  }
+  interface ObjectHTMLAttributes<T> extends HTMLAttributes<T> {
+    data?: string | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    type?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    wmode?: string | RemoveAttribute;
+
+    /** @deprecated */
+    align?: string | RemoveAttribute;
+    /** @deprecated */
+    archive?: string | RemoveAttribute;
+    /** @deprecated */
+    border?: string | RemoveAttribute;
+    /** @deprecated */
+    classid?: string | RemoveAttribute;
+    /** @deprecated */
+    code?: string | RemoveAttribute;
+    /** @deprecated */
+    codebase?: string | RemoveAttribute;
+    /** @deprecated */
+    codetype?: string | RemoveAttribute;
+    /** @deprecated */
+    declare?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    hspace?: number | string | RemoveAttribute;
+    /** @deprecated */
+    standby?: string | RemoveAttribute;
+    /** @deprecated */
+    usemap?: string | RemoveAttribute;
+    /** @deprecated */
+    vspace?: number | string | RemoveAttribute;
+    /** @deprecated */
+    typemustmatch?: BooleanAttribute | RemoveAttribute;
+  }
+  interface OlHTMLAttributes<T> extends HTMLAttributes<T> {
+    reversed?: BooleanAttribute | RemoveAttribute;
+    start?: number | string | RemoveAttribute;
+    type?: "1" | "a" | "A" | "i" | "I" | RemoveAttribute;
+
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    compact?: BooleanAttribute | RemoveAttribute;
+  }
+  interface OptgroupHTMLAttributes<T> extends HTMLAttributes<T> {
+    disabled?: BooleanAttribute | RemoveAttribute;
+    label?: string | RemoveAttribute;
+  }
+  interface OptionHTMLAttributes<T> extends HTMLAttributes<T> {
+    disabled?: BooleanAttribute | RemoveAttribute;
+    label?: string | RemoveAttribute;
+
+    // special cases locked to properties
+
+    selected?: BooleanProperty | RemoveProperty;
+    /** @error use `<option selected={..}/>` instead */
+    "prop:selected"?: never;
+
+    defaultSelected?: BooleanProperty | RemoveProperty;
+    /** @error use `<option defaultSelected={..}/>` instead */
+    "prop:defaultSelected"?: never;
+
+    value?: string | string[] | number | RemoveProperty;
+    /** @error use `<option value={..}/>` instead */
+    "prop:value"?: never;
+
+    // for sanity
+
+    /** @error This doesn't exists for `<option/>` */
+    "prop:defaultValue"?: never;
+    /** @error This doesn't exists for `<option/>` */
+    defaultValue?: never;
+  }
+  interface OutputHTMLAttributes<T> extends HTMLAttributes<T> {
+    for?: string | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    name?: string | RemoveAttribute;
+  }
+  interface ParamHTMLAttributes<T> extends HTMLAttributes<T> {
+    /** @deprecated */
+    name?: string | RemoveAttribute;
+    /** @deprecated */
+    type?: string | RemoveAttribute;
+    /** @deprecated */
+    value?: string | number | RemoveAttribute;
+    /** @deprecated */
+    valuetype?: "data" | "ref" | "object" | RemoveAttribute;
+  }
+  interface ProgressHTMLAttributes<T> extends HTMLAttributes<T> {
+    max?: number | string | RemoveAttribute;
+    value?: string | string[] | number | RemoveAttribute;
+  }
+  interface ScriptHTMLAttributes<T> extends HTMLAttributes<T> {
+    async?: BooleanAttribute | RemoveAttribute;
+    blocking?: "render" | RemoveAttribute;
+    crossorigin?: HTMLCrossorigin | RemoveAttribute;
+    defer?: BooleanAttribute | RemoveAttribute;
+    fetchpriority?: "high" | "low" | "auto" | RemoveAttribute;
+    for?: string | RemoveAttribute;
+    integrity?: string | RemoveAttribute;
+    nomodule?: BooleanAttribute | RemoveAttribute;
+    referrerpolicy?: HTMLReferrerPolicy | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    type?: "importmap" | "module" | "speculationrules" | (string & {}) | RemoveAttribute;
+
+    /** @experimental */
+    attributionsrc?: string | RemoveAttribute;
+
+    /** @deprecated */
+    charset?: string | RemoveAttribute;
+    /** @deprecated */
+    event?: string | RemoveAttribute;
+    /** @deprecated */
+    language?: string | RemoveAttribute;
+  }
+  interface SelectHTMLAttributes<T> extends HTMLAttributes<T> {
+    autocomplete?: HTMLAutocomplete | RemoveAttribute;
+    disabled?: BooleanAttribute | RemoveAttribute;
+    form?: string | RemoveAttribute;
+    multiple?: BooleanAttribute | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    required?: BooleanAttribute | RemoveAttribute;
+    size?: number | string | RemoveAttribute;
+
+    // special cases locked to properties
+
+    value?: string | string[] | number | RemoveProperty;
+    /** @error use `<select value={..}/>` instead */
+    "prop:value"?: never;
+
+    // for sanity
+
+    /** @error use `<option defaultSelected={..}/>` instead */
+    defaultSelected?: never;
+    /** @error use `<option defaultSelected={..}/>` instead */
+    "prop:defaultSelected"?: never;
+
+    /** @error use `<option defaultSelected={..}/>` instead */
+    selected?: never;
+    /** @error use `<option defaultSelected={..}/>` instead */
+    "prop:selected"?: never;
+  }
+  interface HTMLSlotElementAttributes<T> extends HTMLAttributes<T> {
+    name?: string | RemoveAttribute;
+  }
+  interface SourceHTMLAttributes<T> extends HTMLAttributes<T> {
+    height?: number | string | RemoveAttribute;
+    media?: string | RemoveAttribute;
+    sizes?: string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    srcset?: string | RemoveAttribute;
+    type?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+  }
+  interface StyleHTMLAttributes<T> extends HTMLAttributes<T> {
+    blocking?: "render" | RemoveAttribute;
+    media?: string | RemoveAttribute;
+
+    /** @deprecated */
+    scoped?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    type?: string | RemoveAttribute;
+  }
+  interface TdHTMLAttributes<T> extends HTMLAttributes<T> {
+    colspan?: number | string | RemoveAttribute;
+    headers?: string | RemoveAttribute;
+    rowspan?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    abbr?: string | RemoveAttribute;
+    /** @deprecated */
+    align?: "left" | "center" | "right" | "justify" | "char" | RemoveAttribute;
+    /** @deprecated */
+    axis?: string | RemoveAttribute;
+    /** @deprecated */
+    bgcolor?: string | RemoveAttribute;
+    /** @deprecated */
+    char?: string | RemoveAttribute;
+    /** @deprecated */
+    charoff?: string | RemoveAttribute;
+    /** @deprecated */
+    height?: number | string | RemoveAttribute;
+    /** @deprecated */
+    nowrap?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    scope?: "col" | "row" | "rowgroup" | "colgroup" | RemoveAttribute;
+    /** @deprecated */
+    valign?: "baseline" | "bottom" | "middle" | "top" | RemoveAttribute;
+    /** @deprecated */
+    width?: number | string | RemoveAttribute;
+  }
+  interface TemplateHTMLAttributes<T> extends HTMLAttributes<T> {
+    shadowrootclonable?: BooleanAttribute | RemoveAttribute;
+    shadowrootdelegatesfocus?: BooleanAttribute | RemoveAttribute;
+    shadowrootmode?: "open" | "closed" | RemoveAttribute;
+    shadowrootcustomelementregistry?: BooleanAttribute | RemoveAttribute;
+
+    /** @experimental */
+    shadowrootserializable?: BooleanAttribute | RemoveAttribute;
+  }
+  interface TextareaHTMLAttributes<T> extends HTMLAttributes<T> {
+    autocomplete?: HTMLAutocomplete | RemoveAttribute;
+    cols?: number | string | RemoveAttribute;
+    dirname?: string | RemoveAttribute;
+    disabled?: BooleanAttribute | RemoveAttribute;
+
+    form?: string | RemoveAttribute;
+    maxlength?: number | string | RemoveAttribute;
+    minlength?: number | string | RemoveAttribute;
+    name?: string | RemoveAttribute;
+    placeholder?: string | RemoveAttribute;
+    readonly?: BooleanAttribute | RemoveAttribute;
+    required?: BooleanAttribute | RemoveAttribute;
+    rows?: number | string | RemoveAttribute;
+    wrap?: "hard" | "soft" | "off" | RemoveAttribute;
+
+    // special cases locked to properties
+
+    value?: string | string[] | number | RemoveProperty;
+    /** @error use `<textarea value={..}/>` instead */
+    "prop:value"?: never;
+
+    defaultValue?: string | string[] | number | RemoveProperty;
+    /** @error use `<textarea defaultValue={..}/>` instead */
+    "prop:defaultValue"?: never;
+  }
+  interface ThHTMLAttributes<T> extends HTMLAttributes<T> {
+    abbr?: string | RemoveAttribute;
+    colspan?: number | string | RemoveAttribute;
+    headers?: string | RemoveAttribute;
+    rowspan?: number | string | RemoveAttribute;
+    scope?: "col" | "row" | "rowgroup" | "colgroup" | RemoveAttribute;
+
+    /** @deprecated */
+    align?: "left" | "center" | "right" | "justify" | "char" | RemoveAttribute;
+    /** @deprecated */
+    axis?: string | RemoveAttribute;
+    /** @deprecated */
+    bgcolor?: string | RemoveAttribute;
+    /** @deprecated */
+    char?: string | RemoveAttribute;
+    /** @deprecated */
+    charoff?: string | RemoveAttribute;
+    /** @deprecated */
+    height?: string | RemoveAttribute;
+    /** @deprecated */
+    nowrap?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    valign?: "baseline" | "bottom" | "middle" | "top" | RemoveAttribute;
+    /** @deprecated */
+    width?: number | string | RemoveAttribute;
+  }
+  interface TimeHTMLAttributes<T> extends HTMLAttributes<T> {
+    datetime?: string | RemoveAttribute;
+  }
+  interface TrackHTMLAttributes<T> extends HTMLAttributes<T> {
+    default?: BooleanAttribute | RemoveAttribute;
+    kind?:
+      | "alternative"
+      | "descriptions"
+      | "main"
+      | "main-desc"
+      | "translation"
+      | "commentary"
+      | "subtitles"
+      | "captions"
+      | "chapters"
+      | "metadata"
+      | RemoveAttribute;
+    label?: string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    srclang?: string | RemoveAttribute;
+
+    /** @deprecated */
+    mediagroup?: string | RemoveAttribute;
+  }
+  interface VideoHTMLAttributes<T> extends MediaHTMLAttributes<T> {
+    disablepictureinpicture?: BooleanAttribute | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    playsinline?: BooleanAttribute | RemoveAttribute;
+    poster?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+
+    onEnterPictureInPicture?: EventHandlerUnion<T, PictureInPictureEvent> | undefined;
+    "on:enterpictureinpicture"?: EventHandlerWithOptionsUnion<T, PictureInPictureEvent> | undefined;
+
+    onLeavePictureInPicture?: EventHandlerUnion<T, PictureInPictureEvent> | undefined;
+    "on:leavepictureinpicture"?: EventHandlerWithOptionsUnion<T, PictureInPictureEvent> | undefined;
+  }
+
+  interface WebViewHTMLAttributes<T> extends HTMLAttributes<T> {
+    allowpopups?: BooleanAttribute | RemoveAttribute;
+    disableblinkfeatures?: string | RemoveAttribute;
+    disablewebsecurity?: BooleanAttribute | RemoveAttribute;
+    enableblinkfeatures?: string | RemoveAttribute;
+    httpreferrer?: string | RemoveAttribute;
+    nodeintegration?: BooleanAttribute | RemoveAttribute;
+    nodeintegrationinsubframes?: BooleanAttribute | RemoveAttribute;
+    partition?: string | RemoveAttribute;
+    plugins?: BooleanAttribute | RemoveAttribute;
+    preload?: string | RemoveAttribute;
+    src?: string | RemoveAttribute;
+    useragent?: string | RemoveAttribute;
+    webpreferences?: string | RemoveAttribute;
+
+    // does this exists?
+    allowfullscreen?: BooleanAttribute | RemoveAttribute;
+    autosize?: BooleanAttribute | RemoveAttribute;
+
+    /** @deprecated */
+    blinkfeatures?: string | RemoveAttribute;
+    /** @deprecated */
+    disableguestresize?: BooleanAttribute | RemoveAttribute;
+    /** @deprecated */
+    guestinstance?: string | RemoveAttribute;
+  }
+
+  // SVG
+
+  type SVGPreserveAspectRatio =
+    | "none"
+    | "xMinYMin"
+    | "xMidYMin"
+    | "xMaxYMin"
+    | "xMinYMid"
+    | "xMidYMid"
+    | "xMaxYMid"
+    | "xMinYMax"
+    | "xMidYMax"
+    | "xMaxYMax"
+    | "xMinYMin meet"
+    | "xMidYMin meet"
+    | "xMaxYMin meet"
+    | "xMinYMid meet"
+    | "xMidYMid meet"
+    | "xMaxYMid meet"
+    | "xMinYMax meet"
+    | "xMidYMax meet"
+    | "xMaxYMax meet"
+    | "xMinYMin slice"
+    | "xMidYMin slice"
+    | "xMaxYMin slice"
+    | "xMinYMid slice"
+    | "xMidYMid slice"
+    | "xMaxYMid slice"
+    | "xMinYMax slice"
+    | "xMidYMax slice"
+    | "xMaxYMax slice";
+  type ImagePreserveAspectRatio =
+    | SVGPreserveAspectRatio
+    | "defer none"
+    | "defer xMinYMin"
+    | "defer xMidYMin"
+    | "defer xMaxYMin"
+    | "defer xMinYMid"
+    | "defer xMidYMid"
+    | "defer xMaxYMid"
+    | "defer xMinYMax"
+    | "defer xMidYMax"
+    | "defer xMaxYMax"
+    | "defer xMinYMin meet"
+    | "defer xMidYMin meet"
+    | "defer xMaxYMin meet"
+    | "defer xMinYMid meet"
+    | "defer xMidYMid meet"
+    | "defer xMaxYMid meet"
+    | "defer xMinYMax meet"
+    | "defer xMidYMax meet"
+    | "defer xMaxYMax meet"
+    | "defer xMinYMin slice"
+    | "defer xMidYMin slice"
+    | "defer xMaxYMin slice"
+    | "defer xMinYMid slice"
+    | "defer xMidYMid slice"
+    | "defer xMaxYMid slice"
+    | "defer xMinYMax slice"
+    | "defer xMidYMax slice"
+    | "defer xMaxYMax slice";
+  type SVGUnits = "userSpaceOnUse" | "objectBoundingBox";
+
+  interface StylableSVGAttributes {
+    class?: string | ClassList | RemoveAttribute;
+    style?: CSSProperties | string | RemoveAttribute;
+  }
+  interface TransformableSVGAttributes {
+    transform?: string | RemoveAttribute;
+  }
+  interface ConditionalProcessingSVGAttributes {
+    requiredExtensions?: string | RemoveAttribute;
+    requiredFeatures?: string | RemoveAttribute;
+    systemLanguage?: string | RemoveAttribute;
+  }
+  interface ExternalResourceSVGAttributes {
+    externalResourcesRequired?: EnumeratedPseudoBoolean | RemoveAttribute;
+  }
+  interface AnimationTimingSVGAttributes {
+    begin?: string | RemoveAttribute;
+    dur?: string | RemoveAttribute;
+    end?: string | RemoveAttribute;
+    fill?: "freeze" | "remove" | RemoveAttribute;
+    max?: string | RemoveAttribute;
+    min?: string | RemoveAttribute;
+    repeatCount?: number | "indefinite" | RemoveAttribute;
+    repeatDur?: string | RemoveAttribute;
+    restart?: "always" | "whenNotActive" | "never" | RemoveAttribute;
+  }
+  interface AnimationValueSVGAttributes {
+    by?: number | string | RemoveAttribute;
+    calcMode?: "discrete" | "linear" | "paced" | "spline" | RemoveAttribute;
+    from?: number | string | RemoveAttribute;
+    keySplines?: string | RemoveAttribute;
+    keyTimes?: string | RemoveAttribute;
+    to?: number | string | RemoveAttribute;
+    values?: string | RemoveAttribute;
+  }
+  interface AnimationAdditionSVGAttributes {
+    accumulate?: "none" | "sum" | RemoveAttribute;
+    additive?: "replace" | "sum" | RemoveAttribute;
+    attributeName?: string | RemoveAttribute;
+  }
+  interface AnimationAttributeTargetSVGAttributes {
+    attributeName?: string | RemoveAttribute;
+    attributeType?: "CSS" | "XML" | "auto" | RemoveAttribute;
+  }
+  interface PresentationSVGAttributes {
+    "alignment-baseline"?:
+      | "auto"
+      | "baseline"
+      | "before-edge"
+      | "text-before-edge"
+      | "middle"
+      | "central"
+      | "after-edge"
+      | "text-after-edge"
+      | "ideographic"
+      | "alphabetic"
+      | "hanging"
+      | "mathematical"
+      | "inherit"
+      | RemoveAttribute;
+    "baseline-shift"?: number | string | RemoveAttribute;
+    "clip-path"?: string | RemoveAttribute;
+    "clip-rule"?: "nonzero" | "evenodd" | "inherit" | RemoveAttribute;
+    "color-interpolation"?: "auto" | "sRGB" | "linearRGB" | "inherit" | RemoveAttribute;
+    "color-interpolation-filters"?: "auto" | "sRGB" | "linearRGB" | "inherit" | RemoveAttribute;
+    "color-profile"?: string | RemoveAttribute;
+    "color-rendering"?: "auto" | "optimizeSpeed" | "optimizeQuality" | "inherit" | RemoveAttribute;
+    "dominant-baseline"?:
+      | "auto"
+      | "text-bottom"
+      | "alphabetic"
+      | "ideographic"
+      | "middle"
+      | "central"
+      | "mathematical"
+      | "hanging"
+      | "text-top"
+      | "inherit"
+      | RemoveAttribute;
+    "enable-background"?: string | RemoveAttribute;
+    "fill-opacity"?: number | string | "inherit" | RemoveAttribute;
+    "fill-rule"?: "nonzero" | "evenodd" | "inherit" | RemoveAttribute;
+    "flood-color"?: string | RemoveAttribute;
+    "flood-opacity"?: number | string | "inherit" | RemoveAttribute;
+    "font-family"?: string | RemoveAttribute;
+    "font-size"?: string | RemoveAttribute;
+    "font-size-adjust"?: number | string | RemoveAttribute;
+    "font-stretch"?: string | RemoveAttribute;
+    "font-style"?: "normal" | "italic" | "oblique" | "inherit" | RemoveAttribute;
+    "font-variant"?: string | RemoveAttribute;
+    "font-weight"?: number | string | RemoveAttribute;
+    "glyph-orientation-horizontal"?: string | RemoveAttribute;
+    "glyph-orientation-vertical"?: string | RemoveAttribute;
+    "image-rendering"?: "auto" | "optimizeQuality" | "optimizeSpeed" | "inherit" | RemoveAttribute;
+    "letter-spacing"?: number | string | RemoveAttribute;
+    "lighting-color"?: string | RemoveAttribute;
+    "marker-end"?: string | RemoveAttribute;
+    "marker-mid"?: string | RemoveAttribute;
+    "marker-start"?: string | RemoveAttribute;
+    "pointer-events"?:
+      | "bounding-box"
+      | "visiblePainted"
+      | "visibleFill"
+      | "visibleStroke"
+      | "visible"
+      | "painted"
+      | "color"
+      | "fill"
+      | "stroke"
+      | "all"
+      | "none"
+      | "inherit"
+      | RemoveAttribute;
+    "shape-rendering"?:
+      | "auto"
+      | "optimizeSpeed"
+      | "crispEdges"
+      | "geometricPrecision"
+      | "inherit"
+      | RemoveAttribute;
+    "stop-color"?: string | RemoveAttribute;
+    "stop-opacity"?: number | string | "inherit" | RemoveAttribute;
+    "stroke-dasharray"?: string | RemoveAttribute;
+    "stroke-dashoffset"?: number | string | RemoveAttribute;
+    "stroke-linecap"?: "butt" | "round" | "square" | "inherit" | RemoveAttribute;
+    "stroke-linejoin"?:
+      | "arcs"
+      | "bevel"
+      | "miter"
+      | "miter-clip"
+      | "round"
+      | "inherit"
+      | RemoveAttribute;
+    "stroke-miterlimit"?: number | string | "inherit" | RemoveAttribute;
+    "stroke-opacity"?: number | string | "inherit" | RemoveAttribute;
+    "stroke-width"?: number | string | RemoveAttribute;
+    "text-anchor"?: "start" | "middle" | "end" | "inherit" | RemoveAttribute;
+    "text-decoration"?:
+      | "none"
+      | "underline"
+      | "overline"
+      | "line-through"
+      | "blink"
+      | "inherit"
+      | RemoveAttribute;
+    "text-rendering"?:
+      | "auto"
+      | "optimizeSpeed"
+      | "optimizeLegibility"
+      | "geometricPrecision"
+      | "inherit"
+      | RemoveAttribute;
+    "unicode-bidi"?: string | RemoveAttribute;
+    "word-spacing"?: number | string | RemoveAttribute;
+    "writing-mode"?: "lr-tb" | "rl-tb" | "tb-rl" | "lr" | "rl" | "tb" | "inherit" | RemoveAttribute;
+    clip?: string | RemoveAttribute;
+    color?: string | RemoveAttribute;
+    cursor?: string | RemoveAttribute;
+    direction?: "ltr" | "rtl" | "inherit" | RemoveAttribute;
+    display?: string | RemoveAttribute;
+    fill?: string | RemoveAttribute;
+    filter?: string | RemoveAttribute;
+    kerning?: string | RemoveAttribute;
+    mask?: string | RemoveAttribute;
+    opacity?: number | string | "inherit" | RemoveAttribute;
+    overflow?: "visible" | "hidden" | "scroll" | "auto" | "inherit" | RemoveAttribute;
+    pathLength?: string | number | RemoveAttribute;
+    stroke?: string | RemoveAttribute;
+    visibility?: "visible" | "hidden" | "collapse" | "inherit" | RemoveAttribute;
+  }
+  interface AnimationElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      ConditionalProcessingSVGAttributes {
+    onBegin?: EventHandlerUnion<T, TimeEvent> | undefined;
+    "on:begin"?: EventHandlerWithOptionsUnion<T, TimeEvent> | undefined;
+
+    onEnd?: EventHandlerUnion<T, TimeEvent> | undefined;
+    "on:end"?: EventHandlerWithOptionsUnion<T, TimeEvent> | undefined;
+
+    onRepeat?: EventHandlerUnion<T, TimeEvent> | undefined;
+    "on:repeat"?: EventHandlerWithOptionsUnion<T, TimeEvent> | undefined;
+  }
+  interface ContainerElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      Pick<
+        PresentationSVGAttributes,
+        | "clip-path"
+        | "mask"
+        | "cursor"
+        | "opacity"
+        | "filter"
+        | "enable-background"
+        | "color-interpolation"
+        | "color-rendering"
+      > {}
+  interface FilterPrimitiveElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      Pick<PresentationSVGAttributes, "color-interpolation-filters"> {
+    height?: number | string | RemoveAttribute;
+    result?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface SingleInputFilterSVGAttributes {
+    in?: string | RemoveAttribute;
+  }
+  interface DoubleInputFilterSVGAttributes {
+    in?: string | RemoveAttribute;
+    in2?: string | RemoveAttribute;
+  }
+  interface FitToViewBoxSVGAttributes {
+    preserveAspectRatio?: SVGPreserveAspectRatio | RemoveAttribute;
+    viewBox?: string | RemoveAttribute;
+  }
+  interface GradientElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes {
+    gradientTransform?: string | RemoveAttribute;
+    gradientUnits?: SVGUnits | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    spreadMethod?: "pad" | "reflect" | "repeat" | RemoveAttribute;
+  }
+  interface GraphicsElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      Pick<
+        PresentationSVGAttributes,
+        | "clip-rule"
+        | "mask"
+        | "pointer-events"
+        | "cursor"
+        | "opacity"
+        | "filter"
+        | "display"
+        | "visibility"
+        | "color-interpolation"
+        | "color-rendering"
+      > {}
+  interface LightSourceElementSVGAttributes<T> extends SVGAttributes<T> {}
+  interface NewViewportSVGAttributes<T>
+    extends SVGAttributes<T>,
+      Pick<PresentationSVGAttributes, "overflow" | "clip"> {
+    viewBox?: string | RemoveAttribute;
+  }
+  interface ShapeElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      Pick<
+        PresentationSVGAttributes,
+        | "color"
+        | "fill"
+        | "fill-rule"
+        | "fill-opacity"
+        | "stroke"
+        | "stroke-width"
+        | "stroke-linecap"
+        | "stroke-linejoin"
+        | "stroke-miterlimit"
+        | "stroke-dasharray"
+        | "stroke-dashoffset"
+        | "stroke-opacity"
+        | "shape-rendering"
+        | "pathLength"
+      > {}
+  interface TextContentElementSVGAttributes<T>
+    extends SVGAttributes<T>,
+      Pick<
+        PresentationSVGAttributes,
+        | "font-family"
+        | "font-style"
+        | "font-variant"
+        | "font-weight"
+        | "font-stretch"
+        | "font-size"
+        | "font-size-adjust"
+        | "kerning"
+        | "letter-spacing"
+        | "word-spacing"
+        | "text-decoration"
+        | "glyph-orientation-horizontal"
+        | "glyph-orientation-vertical"
+        | "direction"
+        | "unicode-bidi"
+        | "text-anchor"
+        | "dominant-baseline"
+        | "color"
+        | "fill"
+        | "fill-rule"
+        | "fill-opacity"
+        | "stroke"
+        | "stroke-width"
+        | "stroke-linecap"
+        | "stroke-linejoin"
+        | "stroke-miterlimit"
+        | "stroke-dasharray"
+        | "stroke-dashoffset"
+        | "stroke-opacity"
+      > {}
+  interface ZoomAndPanSVGAttributes {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    zoomAndPan?: "disable" | "magnify" | RemoveAttribute;
+  }
+  interface AnimateSVGAttributes<T>
+    extends AnimationElementSVGAttributes<T>,
+      AnimationAttributeTargetSVGAttributes,
+      AnimationTimingSVGAttributes,
+      AnimationValueSVGAttributes,
+      AnimationAdditionSVGAttributes,
+      Pick<PresentationSVGAttributes, "color-interpolation" | "color-rendering"> {}
+  interface AnimateMotionSVGAttributes<T>
+    extends AnimationElementSVGAttributes<T>,
+      AnimationTimingSVGAttributes,
+      AnimationValueSVGAttributes,
+      AnimationAdditionSVGAttributes {
+    keyPoints?: string | RemoveAttribute;
+    origin?: "default" | RemoveAttribute;
+    path?: string | RemoveAttribute;
+    rotate?: number | string | "auto" | "auto-reverse" | RemoveAttribute;
+  }
+  interface AnimateTransformSVGAttributes<T>
+    extends AnimationElementSVGAttributes<T>,
+      AnimationAttributeTargetSVGAttributes,
+      AnimationTimingSVGAttributes,
+      AnimationValueSVGAttributes,
+      AnimationAdditionSVGAttributes {
+    type?: "translate" | "scale" | "rotate" | "skewX" | "skewY" | RemoveAttribute;
+  }
+  interface CircleSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    cx?: number | string | RemoveAttribute;
+    cy?: number | string | RemoveAttribute;
+    r?: number | string | RemoveAttribute;
+  }
+  interface ClipPathSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    clipPathUnits?: SVGUnits | RemoveAttribute;
+  }
+  interface DefsSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes {}
+  interface DescSVGAttributes<T> extends SVGAttributes<T>, StylableSVGAttributes {}
+  interface EllipseSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    cx?: number | string | RemoveAttribute;
+    cy?: number | string | RemoveAttribute;
+    rx?: number | string | RemoveAttribute;
+    ry?: number | string | RemoveAttribute;
+  }
+  interface FeBlendSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      DoubleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    mode?: "normal" | "multiply" | "screen" | "darken" | "lighten" | RemoveAttribute;
+  }
+  interface FeColorMatrixSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    type?: "matrix" | "saturate" | "hueRotate" | "luminanceToAlpha" | RemoveAttribute;
+    values?: string | RemoveAttribute;
+  }
+  interface FeComponentTransferSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {}
+  interface FeCompositeSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      DoubleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    k1?: number | string | RemoveAttribute;
+    k2?: number | string | RemoveAttribute;
+    k3?: number | string | RemoveAttribute;
+    k4?: number | string | RemoveAttribute;
+    operator?: "over" | "in" | "out" | "atop" | "xor" | "arithmetic" | RemoveAttribute;
+  }
+  interface FeConvolveMatrixSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    bias?: number | string | RemoveAttribute;
+    divisor?: number | string | RemoveAttribute;
+    edgeMode?: "duplicate" | "wrap" | "none" | RemoveAttribute;
+    kernelMatrix?: string | RemoveAttribute;
+    kernelUnitLength?: number | string | RemoveAttribute;
+    order?: number | string | RemoveAttribute;
+    preserveAlpha?: EnumeratedPseudoBoolean | RemoveAttribute;
+    targetX?: number | string | RemoveAttribute;
+    targetY?: number | string | RemoveAttribute;
+  }
+  interface FeDiffuseLightingSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "color" | "lighting-color"> {
+    diffuseConstant?: number | string | RemoveAttribute;
+    kernelUnitLength?: number | string | RemoveAttribute;
+    surfaceScale?: number | string | RemoveAttribute;
+  }
+  interface FeDisplacementMapSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      DoubleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    scale?: number | string | RemoveAttribute;
+    xChannelSelector?: "R" | "G" | "B" | "A" | RemoveAttribute;
+    yChannelSelector?: "R" | "G" | "B" | "A" | RemoveAttribute;
+  }
+  interface FeDistantLightSVGAttributes<T> extends LightSourceElementSVGAttributes<T> {
+    azimuth?: number | string | RemoveAttribute;
+    elevation?: number | string | RemoveAttribute;
+  }
+  interface FeDropShadowSVGAttributes<T>
+    extends SVGAttributes<T>,
+      FilterPrimitiveElementSVGAttributes<T>,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "color" | "flood-color" | "flood-opacity"> {
+    dx?: number | string | RemoveAttribute;
+    dy?: number | string | RemoveAttribute;
+    stdDeviation?: number | string | RemoveAttribute;
+  }
+  interface FeFloodSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "color" | "flood-color" | "flood-opacity"> {}
+  interface FeFuncSVGAttributes<T> extends SVGAttributes<T> {
+    amplitude?: number | string | RemoveAttribute;
+    exponent?: number | string | RemoveAttribute;
+    intercept?: number | string | RemoveAttribute;
+    offset?: number | string | RemoveAttribute;
+    slope?: number | string | RemoveAttribute;
+    tableValues?: string | RemoveAttribute;
+    type?: "identity" | "table" | "discrete" | "linear" | "gamma" | RemoveAttribute;
+  }
+  interface FeGaussianBlurSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    stdDeviation?: number | string | RemoveAttribute;
+  }
+  interface FeImageSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes {
+    href?: string | RemoveAttribute;
+    preserveAspectRatio?: SVGPreserveAspectRatio | RemoveAttribute;
+  }
+  interface FeMergeSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      StylableSVGAttributes {}
+  interface FeMergeNodeSVGAttributes<T> extends SVGAttributes<T>, SingleInputFilterSVGAttributes {}
+  interface FeMorphologySVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    operator?: "erode" | "dilate" | RemoveAttribute;
+    radius?: number | string | RemoveAttribute;
+  }
+  interface FeOffsetSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {
+    dx?: number | string | RemoveAttribute;
+    dy?: number | string | RemoveAttribute;
+  }
+  interface FePointLightSVGAttributes<T> extends LightSourceElementSVGAttributes<T> {
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+    z?: number | string | RemoveAttribute;
+  }
+  interface FeSpecularLightingSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "color" | "lighting-color"> {
+    kernelUnitLength?: number | string | RemoveAttribute;
+    specularConstant?: string | RemoveAttribute;
+    specularExponent?: string | RemoveAttribute;
+    surfaceScale?: string | RemoveAttribute;
+  }
+  interface FeSpotLightSVGAttributes<T> extends LightSourceElementSVGAttributes<T> {
+    limitingConeAngle?: number | string | RemoveAttribute;
+    pointsAtX?: number | string | RemoveAttribute;
+    pointsAtY?: number | string | RemoveAttribute;
+    pointsAtZ?: number | string | RemoveAttribute;
+    specularExponent?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+    z?: number | string | RemoveAttribute;
+  }
+  interface FeTileSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      SingleInputFilterSVGAttributes,
+      StylableSVGAttributes {}
+  interface FeTurbulanceSVGAttributes<T>
+    extends FilterPrimitiveElementSVGAttributes<T>,
+      StylableSVGAttributes {
+    baseFrequency?: number | string | RemoveAttribute;
+    numOctaves?: number | string | RemoveAttribute;
+    seed?: number | string | RemoveAttribute;
+    stitchTiles?: "stitch" | "noStitch" | RemoveAttribute;
+    type?: "fractalNoise" | "turbulence" | RemoveAttribute;
+  }
+  interface FilterSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes {
+    filterRes?: number | string | RemoveAttribute;
+    filterUnits?: SVGUnits | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    primitiveUnits?: SVGUnits | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface ForeignObjectSVGAttributes<T>
+    extends NewViewportSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "display" | "visibility"> {
+    height?: number | string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface GSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "display" | "visibility"> {}
+  interface ImageSVGAttributes<T>
+    extends NewViewportSVGAttributes<T>,
+      GraphicsElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "color-profile" | "image-rendering"> {
+    height?: number | string | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    preserveAspectRatio?: ImagePreserveAspectRatio | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface LineSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "marker-start" | "marker-mid" | "marker-end"> {
+    x1?: number | string | RemoveAttribute;
+    x2?: number | string | RemoveAttribute;
+    y1?: number | string | RemoveAttribute;
+    y2?: number | string | RemoveAttribute;
+  }
+  interface LinearGradientSVGAttributes<T> extends GradientElementSVGAttributes<T> {
+    x1?: number | string | RemoveAttribute;
+    x2?: number | string | RemoveAttribute;
+    y1?: number | string | RemoveAttribute;
+    y2?: number | string | RemoveAttribute;
+  }
+  interface MarkerSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      FitToViewBoxSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "overflow" | "clip"> {
+    markerHeight?: number | string | RemoveAttribute;
+    markerUnits?: "strokeWidth" | "userSpaceOnUse" | RemoveAttribute;
+    markerWidth?: number | string | RemoveAttribute;
+    orient?: string | RemoveAttribute;
+    refX?: number | string | RemoveAttribute;
+    refY?: number | string | RemoveAttribute;
+  }
+  interface MaskSVGAttributes<T>
+    extends Omit<ContainerElementSVGAttributes<T>, "opacity" | "filter">,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    height?: number | string | RemoveAttribute;
+    maskContentUnits?: SVGUnits | RemoveAttribute;
+    maskUnits?: SVGUnits | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface MetadataSVGAttributes<T> extends SVGAttributes<T> {}
+  interface MPathSVGAttributes<T> extends SVGAttributes<T> {}
+  interface PathSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "marker-start" | "marker-mid" | "marker-end"> {
+    d?: string | RemoveAttribute;
+    pathLength?: number | string | RemoveAttribute;
+  }
+  interface PatternSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      FitToViewBoxSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "overflow" | "clip"> {
+    height?: number | string | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    patternContentUnits?: SVGUnits | RemoveAttribute;
+    patternTransform?: string | RemoveAttribute;
+    patternUnits?: SVGUnits | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface PolygonSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "marker-start" | "marker-mid" | "marker-end"> {
+    points?: string | RemoveAttribute;
+  }
+  interface PolylineSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "marker-start" | "marker-mid" | "marker-end"> {
+    points?: string | RemoveAttribute;
+  }
+  interface RadialGradientSVGAttributes<T> extends GradientElementSVGAttributes<T> {
+    cx?: number | string | RemoveAttribute;
+    cy?: number | string | RemoveAttribute;
+    fx?: number | string | RemoveAttribute;
+    fy?: number | string | RemoveAttribute;
+    r?: number | string | RemoveAttribute;
+  }
+  interface RectSVGAttributes<T>
+    extends GraphicsElementSVGAttributes<T>,
+      ShapeElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    height?: number | string | RemoveAttribute;
+    rx?: number | string | RemoveAttribute;
+    ry?: number | string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface SetSVGAttributes<T>
+    extends AnimationElementSVGAttributes<T>,
+      StylableSVGAttributes,
+      AnimationTimingSVGAttributes {}
+  interface StopSVGAttributes<T>
+    extends SVGAttributes<T>,
+      StylableSVGAttributes,
+      Pick<PresentationSVGAttributes, "color" | "stop-color" | "stop-opacity"> {
+    offset?: number | string | RemoveAttribute;
+  }
+  interface SvgSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      NewViewportSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      FitToViewBoxSVGAttributes,
+      ZoomAndPanSVGAttributes,
+      PresentationSVGAttributes,
+      EventHandlersWindow<T> {
+    "xmlns:xlink"?: string | RemoveAttribute;
+    contentScriptType?: string | RemoveAttribute;
+    contentStyleType?: string | RemoveAttribute;
+    height?: number | string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+
+    /** @deprecated */
+    baseProfile?: string | RemoveAttribute;
+    /** @deprecated */
+    version?: string | RemoveAttribute;
+  }
+  interface SwitchSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "display" | "visibility"> {}
+  interface SymbolSVGAttributes<T>
+    extends ContainerElementSVGAttributes<T>,
+      NewViewportSVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      FitToViewBoxSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path"> {
+    height?: number | string | RemoveAttribute;
+    preserveAspectRatio?: SVGPreserveAspectRatio | RemoveAttribute;
+    refX?: number | string | RemoveAttribute;
+    refY?: number | string | RemoveAttribute;
+    viewBox?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface TextSVGAttributes<T>
+    extends TextContentElementSVGAttributes<T>,
+      GraphicsElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      TransformableSVGAttributes,
+      Pick<PresentationSVGAttributes, "clip-path" | "writing-mode" | "text-rendering"> {
+    dx?: number | string | RemoveAttribute;
+    dy?: number | string | RemoveAttribute;
+    lengthAdjust?: "spacing" | "spacingAndGlyphs" | RemoveAttribute;
+    rotate?: number | string | RemoveAttribute;
+    textLength?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface TextPathSVGAttributes<T>
+    extends TextContentElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      Pick<
+        PresentationSVGAttributes,
+        "alignment-baseline" | "baseline-shift" | "display" | "visibility"
+      > {
+    href?: string | RemoveAttribute;
+    method?: "align" | "stretch" | RemoveAttribute;
+    spacing?: "auto" | "exact" | RemoveAttribute;
+    startOffset?: number | string | RemoveAttribute;
+  }
+  interface TSpanSVGAttributes<T>
+    extends TextContentElementSVGAttributes<T>,
+      ConditionalProcessingSVGAttributes,
+      ExternalResourceSVGAttributes,
+      StylableSVGAttributes,
+      Pick<
+        PresentationSVGAttributes,
+        "alignment-baseline" | "baseline-shift" | "display" | "visibility"
+      > {
+    dx?: number | string | RemoveAttribute;
+    dy?: number | string | RemoveAttribute;
+    lengthAdjust?: "spacing" | "spacingAndGlyphs" | RemoveAttribute;
+    rotate?: number | string | RemoveAttribute;
+    textLength?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  /** @see https://developer.mozilla.org/en-US/docs/Web/SVG/Element/use */
+  interface UseSVGAttributes<T>
+    extends SVGAttributes<T>,
+      StylableSVGAttributes,
+      ConditionalProcessingSVGAttributes,
+      GraphicsElementSVGAttributes<T>,
+      PresentationSVGAttributes,
+      ExternalResourceSVGAttributes,
+      TransformableSVGAttributes {
+    height?: number | string | RemoveAttribute;
+    href?: string | RemoveAttribute;
+    width?: number | string | RemoveAttribute;
+    x?: number | string | RemoveAttribute;
+    y?: number | string | RemoveAttribute;
+  }
+  interface ViewSVGAttributes<T>
+    extends SVGAttributes<T>,
+      ExternalResourceSVGAttributes,
+      FitToViewBoxSVGAttributes,
+      ZoomAndPanSVGAttributes {
+    viewTarget?: string | RemoveAttribute;
+  }
+
+  // MATH
+
+  interface MathMLAnnotationElementAttributes<T> extends MathMLAttributes<T> {
+    encoding?: string | RemoveAttribute;
+
+    /** @deprecated */
+    src?: string | RemoveAttribute;
+  }
+  interface MathMLAnnotationXmlElementAttributes<T> extends MathMLAttributes<T> {
+    encoding?: string | RemoveAttribute;
+
+    /** @deprecated */
+    src?: string | RemoveAttribute;
+  }
+  interface MathMLMactionElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    actiontype?: "statusline" | "toggle" | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    selection?: string | RemoveAttribute;
+  }
+  interface MathMLMathElementAttributes<T> extends MathMLAttributes<T> {
+    display?: "block" | "inline" | RemoveAttribute;
+  }
+  interface MathMLMerrorElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMfracElementAttributes<T> extends MathMLAttributes<T> {
+    linethickness?: string | RemoveAttribute;
+
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    denomalign?: "center" | "left" | "right" | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    numalign?: "center" | "left" | "right" | RemoveAttribute;
+  }
+  interface MathMLMiElementAttributes<T> extends MathMLAttributes<T> {
+    mathvariant?: "normal" | RemoveAttribute;
+  }
+
+  interface MathMLMmultiscriptsElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    subscriptshift?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    superscriptshift?: string | RemoveAttribute;
+  }
+  interface MathMLMnElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMoElementAttributes<T> extends MathMLAttributes<T> {
+    fence?: BooleanAttribute | RemoveAttribute;
+    form?: "prefix" | "infix" | "postfix" | RemoveAttribute;
+    largeop?: BooleanAttribute | RemoveAttribute;
+    lspace?: string | RemoveAttribute;
+    maxsize?: string | RemoveAttribute;
+    minsize?: string | RemoveAttribute;
+    movablelimits?: BooleanAttribute | RemoveAttribute;
+    rspace?: string | RemoveAttribute;
+    separator?: BooleanAttribute | RemoveAttribute;
+    stretchy?: BooleanAttribute | RemoveAttribute;
+    symmetric?: BooleanAttribute | RemoveAttribute;
+
+    /** @non-standard */
+    accent?: BooleanAttribute | RemoveAttribute;
+  }
+  interface MathMLMoverElementAttributes<T> extends MathMLAttributes<T> {
+    accent?: BooleanAttribute | RemoveAttribute;
+  }
+  interface MathMLMpaddedElementAttributes<T> extends MathMLAttributes<T> {
+    depth?: string | RemoveAttribute;
+    height?: string | RemoveAttribute;
+    lspace?: string | RemoveAttribute;
+    voffset?: string | RemoveAttribute;
+    width?: string | RemoveAttribute;
+  }
+  interface MathMLMphantomElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMprescriptsElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMrootElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMrowElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMsElementAttributes<T> extends MathMLAttributes<T> {
+    /** @deprecated */
+    lquote?: string | RemoveAttribute;
+    /** @deprecated */
+    rquote?: string | RemoveAttribute;
+  }
+  interface MathMLMspaceElementAttributes<T> extends MathMLAttributes<T> {
+    depth?: string | RemoveAttribute;
+    height?: string | RemoveAttribute;
+    width?: string | RemoveAttribute;
+  }
+  interface MathMLMsqrtElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMstyleElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    background?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    color?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    fontsize?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    fontstyle?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    fontweight?: string | RemoveAttribute;
+
+    /** @deprecated */
+    scriptminsize?: string | RemoveAttribute;
+    /** @deprecated */
+    scriptsizemultiplier?: string | RemoveAttribute;
+  }
+  interface MathMLMsubElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    subscriptshift?: string | RemoveAttribute;
+  }
+  interface MathMLMsubsupElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    subscriptshift?: string | RemoveAttribute;
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    superscriptshift?: string | RemoveAttribute;
+  }
+  interface MathMLMsupElementAttributes<T> extends MathMLAttributes<T> {
+    /**
+     * @deprecated
+     * @non-standard
+     */
+    superscriptshift?: string | RemoveAttribute;
+  }
+  interface MathMLMtableElementAttributes<T> extends MathMLAttributes<T> {
+    /** @non-standard */
+    align?: "axis" | "baseline" | "bottom" | "center" | "top" | RemoveAttribute;
+    /** @non-standard */
+    columnalign?: "center" | "left" | "right" | RemoveAttribute;
+    /** @non-standard */
+    columnlines?: "dashed" | "none" | "solid" | RemoveAttribute;
+    /** @non-standard */
+    columnspacing?: string | RemoveAttribute;
+    /** @non-standard */
+    frame?: "dashed" | "none" | "solid" | RemoveAttribute;
+    /** @non-standard */
+    framespacing?: string | RemoveAttribute;
+    /** @non-standard */
+    rowalign?: "axis" | "baseline" | "bottom" | "center" | "top" | RemoveAttribute;
+    /** @non-standard */
+    rowlines?: "dashed" | "none" | "solid" | RemoveAttribute;
+    /** @non-standard */
+    rowspacing?: string | RemoveAttribute;
+    /** @non-standard */
+    width?: string | RemoveAttribute;
+  }
+  interface MathMLMtdElementAttributes<T> extends MathMLAttributes<T> {
+    columnspan?: number | string | RemoveAttribute;
+    rowspan?: number | string | RemoveAttribute;
+    /** @non-standard */
+    columnalign?: "center" | "left" | "right" | RemoveAttribute;
+    /** @non-standard */
+    rowalign?: "axis" | "baseline" | "bottom" | "center" | "top" | RemoveAttribute;
+  }
+  interface MathMLMtextElementAttributes<T> extends MathMLAttributes<T> {}
+  interface MathMLMtrElementAttributes<T> extends MathMLAttributes<T> {
+    /** @non-standard */
+    columnalign?: "center" | "left" | "right" | RemoveAttribute;
+    /** @non-standard */
+    rowalign?: "axis" | "baseline" | "bottom" | "center" | "top" | RemoveAttribute;
+  }
+  interface MathMLMunderElementAttributes<T> extends MathMLAttributes<T> {
+    accentunder?: BooleanAttribute | RemoveAttribute;
+  }
+  interface MathMLMunderoverElementAttributes<T> extends MathMLAttributes<T> {
+    accent?: BooleanAttribute | RemoveAttribute;
+    accentunder?: BooleanAttribute | RemoveAttribute;
+  }
+  interface MathMLSemanticsElementAttributes<T> extends MathMLAttributes<T> {}
+
+  interface MathMLMencloseElementAttributes<T> extends MathMLAttributes<T> {
+    /** @non-standard */
+    notation?: string | RemoveAttribute;
+  }
+  interface MathMLMfencedElementAttributes<T> extends MathMLAttributes<T> {
+    close?: string | RemoveAttribute;
+    open?: string | RemoveAttribute;
+    separators?: string | RemoveAttribute;
+  }
+
+  // TAGS
+
+  /** @type {HTMLElementTagNameMap} */
+  interface HTMLElementTags {
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/a
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLAnchorElement
+     */
+    a: AnchorHTMLAttributes<HTMLAnchorElement> & Properties<HTMLAnchorElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/abbr
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    abbr: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/address
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    address: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/area
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLAreaElement
+     */
+    area: AreaHTMLAttributes<HTMLAreaElement> & Properties<HTMLAreaElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/article
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    article: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/aside
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    aside: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/audio
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLAudioElement
+     */
+    audio: AudioHTMLAttributes<HTMLAudioElement> & Properties<HTMLAudioElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/b
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    b: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/base
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLBaseElement
+     */
+    base: BaseHTMLAttributes<HTMLBaseElement> & Properties<HTMLBaseElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdi
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    bdi: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdo
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    bdo: BdoHTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/blockquote
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLQuoteElement
+     */
+    blockquote: BlockquoteHTMLAttributes<HTMLQuoteElement> & Properties<HTMLQuoteElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/body
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLBodyElement
+     */
+    body: BodyHTMLAttributes<HTMLBodyElement> & Properties<HTMLBodyElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/br
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLBRElement
+     */
+    br: HTMLAttributes<HTMLBRElement> & Properties<HTMLBRElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/button
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLButtonElement
+     */
+    button: ButtonHTMLAttributes<HTMLButtonElement> & Properties<HTMLButtonElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/canvas
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLCanvasElement
+     */
+    canvas: CanvasHTMLAttributes<HTMLCanvasElement> & Properties<HTMLCanvasElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/caption
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableCaptionElement
+     */
+    caption: CaptionHTMLAttributes<HTMLTableCaptionElement> & Properties<HTMLTableCaptionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/cite
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    cite: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/code
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    code: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/col
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableColElement
+     */
+    col: ColHTMLAttributes<HTMLTableColElement> & Properties<HTMLTableColElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/colgroup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableColElement
+     */
+    colgroup: ColgroupHTMLAttributes<HTMLTableColElement> & Properties<HTMLTableColElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/data
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDataElement
+     */
+    data: DataHTMLAttributes<HTMLDataElement> & Properties<HTMLDataElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/datalist
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDataListElement
+     */
+    datalist: HTMLAttributes<HTMLDataListElement> & Properties<HTMLDataListElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dd
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    dd: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/del
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLModElement
+     */
+    del: ModHTMLAttributes<HTMLModElement> & Properties<HTMLModElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/details
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDetailsElement
+     */
+    details: DetailsHtmlAttributes<HTMLDetailsElement> & Properties<HTMLDetailsElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dfn
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    dfn: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dialog
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDialogElement
+     */
+    dialog: DialogHtmlAttributes<HTMLDialogElement> & Properties<HTMLDialogElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/div
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDivElement
+     */
+    div: HTMLAttributes<HTMLDivElement> & Properties<HTMLDivElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dl
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLDListElement
+     */
+    dl: HTMLAttributes<HTMLDListElement> & Properties<HTMLDListElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dt
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    dt: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/em
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    em: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/embed
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLEmbedElement
+     */
+    embed: EmbedHTMLAttributes<HTMLEmbedElement> & Properties<HTMLEmbedElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/fieldset
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLFieldSetElement
+     */
+    fieldset: FieldsetHTMLAttributes<HTMLFieldSetElement> & Properties<HTMLFieldSetElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/figcaption
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    figcaption: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/figure
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    figure: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/footer
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    footer: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/form
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLFormElement
+     */
+    form: FormHTMLAttributes<HTMLFormElement> & Properties<HTMLFormElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h1
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h1: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h2
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h2: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h3
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h3: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h4
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h4: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h5
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h5: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h6
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadingElement
+     */
+    h6: HTMLAttributes<HTMLHeadingElement> & Properties<HTMLHeadingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/head
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHeadElement
+     */
+    head: HTMLAttributes<HTMLHeadElement> & Properties<HTMLHeadElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/header
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    header: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/hgroup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    hgroup: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/hr
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHRElement
+     */
+    hr: HTMLAttributes<HTMLHRElement> & Properties<HTMLHRElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/html
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLHtmlElement
+     */
+    html: HTMLAttributes<HTMLHtmlElement> & Properties<HTMLHtmlElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/i
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    i: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/iframe
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLIFrameElement
+     */
+    iframe: IframeHTMLAttributes<HTMLIFrameElement> & Properties<HTMLIFrameElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/img
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLImageElement
+     */
+    img: ImgHTMLAttributes<HTMLImageElement> & Properties<HTMLImageElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLInputElement
+     */
+    input: InputHTMLAttributes<HTMLInputElement> & Properties<HTMLInputElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ins
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLModElement
+     */
+    ins: ModHTMLAttributes<HTMLModElement> & Properties<HTMLModElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/kbd
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    kbd: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/label
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLLabelElement
+     */
+    label: LabelHTMLAttributes<HTMLLabelElement> & Properties<HTMLLabelElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/legend
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLLegendElement
+     */
+    legend: HTMLAttributes<HTMLLegendElement> & Properties<HTMLLegendElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/li
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLLIElement
+     */
+    li: LiHTMLAttributes<HTMLLIElement> & Properties<HTMLLIElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/link
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLLinkElement
+     */
+    link: LinkHTMLAttributes<HTMLLinkElement> & Properties<HTMLLinkElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/main
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    main: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/map
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLMapElement
+     */
+    map: MapHTMLAttributes<HTMLMapElement> & Properties<HTMLMapElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/mark
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    mark: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/menu
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLMenuElement
+     */
+    menu: MenuHTMLAttributes<HTMLMenuElement> & Properties<HTMLMenuElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meta
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLMetaElement
+     */
+    meta: MetaHTMLAttributes<HTMLMetaElement> & Properties<HTMLMetaElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meter
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLMeterElement
+     */
+    meter: MeterHTMLAttributes<HTMLMeterElement> & Properties<HTMLMeterElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/nav
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    nav: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/noscript
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    noscript: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/object
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLObjectElement
+     */
+    object: ObjectHTMLAttributes<HTMLObjectElement> & Properties<HTMLObjectElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ol
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLOListElement
+     */
+    ol: OlHTMLAttributes<HTMLOListElement> & Properties<HTMLOListElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/optgroup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLOptGroupElement
+     */
+    optgroup: OptgroupHTMLAttributes<HTMLOptGroupElement> & Properties<HTMLOptGroupElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/option
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLOptionElement
+     */
+    option: OptionHTMLAttributes<HTMLOptionElement> & Properties<HTMLOptionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/output
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLOutputElement
+     */
+    output: OutputHTMLAttributes<HTMLOutputElement> & Properties<HTMLOutputElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/p
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLParagraphElement
+     */
+    p: HTMLAttributes<HTMLParagraphElement> & Properties<HTMLParagraphElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/picture
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLPictureElement
+     */
+    picture: HTMLAttributes<HTMLPictureElement> & Properties<HTMLPictureElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/pre
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLPreElement
+     */
+    pre: HTMLAttributes<HTMLPreElement> & Properties<HTMLPreElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/progress
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLProgressElement
+     */
+    progress: ProgressHTMLAttributes<HTMLProgressElement> & Properties<HTMLProgressElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/q
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLQuoteElement
+     */
+    q: QuoteHTMLAttributes<HTMLQuoteElement> & Properties<HTMLQuoteElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rp
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    rp: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rt
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    rt: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ruby
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    ruby: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/s
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    s: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/samp
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    samp: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLScriptElement
+     */
+    script: ScriptHTMLAttributes<HTMLScriptElement> & Properties<HTMLScriptElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/search
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    search: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/section
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    section: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/select
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLSelectElement
+     */
+    select: SelectHTMLAttributes<HTMLSelectElement> & Properties<HTMLSelectElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/slot
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLSlotElement
+     */
+    slot: HTMLSlotElementAttributes<HTMLSlotElement> & Properties<HTMLSlotElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/small
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    small: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/source
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLSourceElement
+     */
+    source: SourceHTMLAttributes<HTMLSourceElement> & Properties<HTMLSourceElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/span
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLSpanElement
+     */
+    span: HTMLAttributes<HTMLSpanElement> & Properties<HTMLSpanElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/strong
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    strong: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/style
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLStyleElement
+     */
+    style: StyleHTMLAttributes<HTMLStyleElement> & Properties<HTMLStyleElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sub
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    sub: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/summary
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    summary: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    sup: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/table
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableElement
+     */
+    table: HTMLAttributes<HTMLTableElement> & Properties<HTMLTableElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tbody
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableSectionElement
+     */
+    tbody: HTMLAttributes<HTMLTableSectionElement> & Properties<HTMLTableSectionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/td
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableCellElement
+     */
+    td: TdHTMLAttributes<HTMLTableCellElement> & Properties<HTMLTableCellElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/template
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTemplateElement
+     */
+    template: TemplateHTMLAttributes<HTMLTemplateElement> & Properties<HTMLTemplateElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTextAreaElement
+     */
+    textarea: TextareaHTMLAttributes<HTMLTextAreaElement> & Properties<HTMLTextAreaElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tfoot
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableSectionElement
+     */
+    tfoot: HTMLAttributes<HTMLTableSectionElement> & Properties<HTMLTableSectionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/th
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableCellElement
+     */
+    th: ThHTMLAttributes<HTMLTableCellElement> & Properties<HTMLTableCellElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/thead
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableSectionElement
+     */
+    thead: HTMLAttributes<HTMLTableSectionElement> & Properties<HTMLTableSectionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/time
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTimeElement
+     */
+    time: TimeHTMLAttributes<HTMLTimeElement> & Properties<HTMLTimeElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/title
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTitleElement
+     */
+    title: HTMLAttributes<HTMLTitleElement> & Properties<HTMLTitleElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tr
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTableRowElement
+     */
+    tr: HTMLAttributes<HTMLTableRowElement> & Properties<HTMLTableRowElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/track
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLTrackElement
+     */
+    track: TrackHTMLAttributes<HTMLTrackElement> & Properties<HTMLTrackElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/u
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    u: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ul
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLUListElement
+     */
+    ul: HTMLAttributes<HTMLUListElement> & Properties<HTMLUListElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/var
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    var: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/video
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLVideoElement
+     */
+    video: VideoHTMLAttributes<HTMLVideoElement> & Properties<HTMLVideoElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/wbr
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    wbr: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /** @url https://www.electronjs.org/docs/latest/api/webview-tag */
+    webview: WebViewHTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+  }
+  /** @type {HTMLElementDeprecatedTagNameMap} */
+  interface HTMLElementDeprecatedTags {
+    /**
+     * @deprecated
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/big
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement
+     */
+    big: HTMLAttributes<HTMLElement> & Properties<HTMLElement>;
+    /**
+     * @deprecated
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/keygen
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLUnknownElement
+     */
+    keygen: KeygenHTMLAttributes<HTMLUnknownElement> & Properties<HTMLUnknownElement>;
+    /**
+     * @deprecated
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/menuitem
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLUnknownElement
+     */
+    menuitem: HTMLAttributes<HTMLUnknownElement> & Properties<HTMLUnknownElement>;
+    /**
+     * @deprecated
+     * @url https://developer.mozilla.org/en-US/docs/Web/HTML/Element/param
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/HTMLParamElement
+     */
+    param: ParamHTMLAttributes<HTMLParamElement> & Properties<HTMLParamElement>;
+  }
+  /** @type {SVGElementTagNameMap} */
+  interface SVGElementTags {
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/animate
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGAnimateElement
+     */
+    animate: AnimateSVGAttributes<SVGAnimateElement> & Properties<SVGAnimateElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/animateMotion
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGAnimateMotionElement
+     */
+    animateMotion: AnimateMotionSVGAttributes<SVGAnimateMotionElement> &
+      Properties<SVGAnimateMotionElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/animateTransform
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGAnimateTransformElement
+     */
+    animateTransform: AnimateTransformSVGAttributes<SVGAnimateTransformElement> &
+      Properties<SVGAnimateTransformElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/circle
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGCircleElement
+     */
+    circle: CircleSVGAttributes<SVGCircleElement> & Properties<SVGCircleElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/clipPath
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGClipPathElement
+     */
+    clipPath: ClipPathSVGAttributes<SVGClipPathElement> & Properties<SVGClipPathElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/defs
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGDefsElement
+     */
+    defs: DefsSVGAttributes<SVGDefsElement> & Properties<SVGDefsElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/desc
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGDescElement
+     */
+    desc: DescSVGAttributes<SVGDescElement> & Properties<SVGDescElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/ellipse
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGEllipseElement
+     */
+    ellipse: EllipseSVGAttributes<SVGEllipseElement> & Properties<SVGEllipseElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feBlend
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEBlendElement
+     */
+    feBlend: FeBlendSVGAttributes<SVGFEBlendElement> & Properties<SVGFEBlendElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feColorMatrix
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEColorMatrixElement
+     */
+    feColorMatrix: FeColorMatrixSVGAttributes<SVGFEColorMatrixElement> &
+      Properties<SVGFEColorMatrixElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feComponentTransfer
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEComponentTransferElemen
+     */
+    feComponentTransfer: FeComponentTransferSVGAttributes<SVGFEComponentTransferElement> &
+      Properties<SVGFEComponentTransferElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feComposite
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFECompositeElement
+     */
+    feComposite: FeCompositeSVGAttributes<SVGFECompositeElement> &
+      Properties<SVGFECompositeElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feConvolveMatrix
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEConvolveMatrixElement
+     */
+    feConvolveMatrix: FeConvolveMatrixSVGAttributes<SVGFEConvolveMatrixElement> &
+      Properties<SVGFEConvolveMatrixElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feDiffuseLighting
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEDiffuseLightingElement
+     */
+    feDiffuseLighting: FeDiffuseLightingSVGAttributes<SVGFEDiffuseLightingElement> &
+      Properties<SVGFEDiffuseLightingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feDisplacementMap
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEDisplacementMapElement
+     */
+    feDisplacementMap: FeDisplacementMapSVGAttributes<SVGFEDisplacementMapElement> &
+      Properties<SVGFEDisplacementMapElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feDistantLight
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEDistantLightElement
+     */
+    feDistantLight: FeDistantLightSVGAttributes<SVGFEDistantLightElement> &
+      Properties<SVGFEDistantLightElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feDropShadow
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEDropShadowElement
+     */
+    feDropShadow: FeDropShadowSVGAttributes<SVGFEDropShadowElement> &
+      Properties<SVGFEDropShadowElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feFlood
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEFloodElement
+     */
+    feFlood: FeFloodSVGAttributes<SVGFEFloodElement> & Properties<SVGFEFloodElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feFuncA
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEFuncAElement
+     */
+    feFuncA: FeFuncSVGAttributes<SVGFEFuncAElement> & Properties<SVGFEFuncAElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feFuncB
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEFuncBElement
+     */
+    feFuncB: FeFuncSVGAttributes<SVGFEFuncBElement> & Properties<SVGFEFuncBElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feFuncG
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEFuncGElement
+     */
+    feFuncG: FeFuncSVGAttributes<SVGFEFuncGElement> & Properties<SVGFEFuncGElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feFuncR
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEFuncRElement
+     */
+    feFuncR: FeFuncSVGAttributes<SVGFEFuncRElement> & Properties<SVGFEFuncRElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feGaussianBlur
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEGaussianBlurElement
+     */
+    feGaussianBlur: FeGaussianBlurSVGAttributes<SVGFEGaussianBlurElement> &
+      Properties<SVGFEGaussianBlurElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feImage
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEImageElement
+     */
+    feImage: FeImageSVGAttributes<SVGFEImageElement> & Properties<SVGFEImageElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feMerge
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEMergeElement
+     */
+    feMerge: FeMergeSVGAttributes<SVGFEMergeElement> & Properties<SVGFEMergeElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feMergeNode
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEMergeNodeElement
+     */
+    feMergeNode: FeMergeNodeSVGAttributes<SVGFEMergeNodeElement> &
+      Properties<SVGFEMergeNodeElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feMorphology
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEMorphologyElement
+     */
+    feMorphology: FeMorphologySVGAttributes<SVGFEMorphologyElement> &
+      Properties<SVGFEMorphologyElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feOffset
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEOffsetElement
+     */
+    feOffset: FeOffsetSVGAttributes<SVGFEOffsetElement> & Properties<SVGFEOffsetElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/fePointLight
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFEPointLightElement
+     */
+    fePointLight: FePointLightSVGAttributes<SVGFEPointLightElement> &
+      Properties<SVGFEPointLightElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feSpecularLighting
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFESpecularLightingElement
+     */
+    feSpecularLighting: FeSpecularLightingSVGAttributes<SVGFESpecularLightingElement> &
+      Properties<SVGFESpecularLightingElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feSpotLight
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFESpotLightElement
+     */
+    feSpotLight: FeSpotLightSVGAttributes<SVGFESpotLightElement> &
+      Properties<SVGFESpotLightElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feTile
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFETileElement
+     */
+    feTile: FeTileSVGAttributes<SVGFETileElement> & Properties<SVGFETileElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/feTurbulence
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFETurbulenceElement
+     */
+    feTurbulence: FeTurbulanceSVGAttributes<SVGFETurbulenceElement> &
+      Properties<SVGFETurbulenceElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/filter
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGFilterElement
+     */
+    filter: FilterSVGAttributes<SVGFilterElement> & Properties<SVGFilterElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/foreignObject
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGForeignObjectElement
+     */
+    foreignObject: ForeignObjectSVGAttributes<SVGForeignObjectElement> &
+      Properties<SVGForeignObjectElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/g
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGGElement
+     */
+    g: GSVGAttributes<SVGGElement> & Properties<SVGGElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/image
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGImageElement
+     */
+    image: ImageSVGAttributes<SVGImageElement> & Properties<SVGImageElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/line
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGLineElement
+     */
+    line: LineSVGAttributes<SVGLineElement> & Properties<SVGLineElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/linearGradient
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGLinearGradientElement
+     */
+    linearGradient: LinearGradientSVGAttributes<SVGLinearGradientElement> &
+      Properties<SVGLinearGradientElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/marker
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGMarkerElement
+     */
+    marker: MarkerSVGAttributes<SVGMarkerElement> & Properties<SVGMarkerElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/mask
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGMaskElement
+     */
+    mask: MaskSVGAttributes<SVGMaskElement> & Properties<SVGMaskElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/metadata
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGMetadataElement
+     */
+    metadata: MetadataSVGAttributes<SVGMetadataElement> & Properties<SVGMetadataElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/mpath
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGMPathElement
+     */
+    mpath: MPathSVGAttributes<SVGMPathElement> & Properties<SVGMPathElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/path
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGPathElement
+     */
+    path: PathSVGAttributes<SVGPathElement> & Properties<SVGPathElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/pattern
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGPatternElement
+     */
+    pattern: PatternSVGAttributes<SVGPatternElement> & Properties<SVGPatternElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/polygon
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGPolygonElement
+     */
+    polygon: PolygonSVGAttributes<SVGPolygonElement> & Properties<SVGPolygonElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/polyline
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGPolylineElement
+     */
+    polyline: PolylineSVGAttributes<SVGPolylineElement> & Properties<SVGPolylineElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/radialGradient
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGRadialGradientElement
+     */
+    radialGradient: RadialGradientSVGAttributes<SVGRadialGradientElement> &
+      Properties<SVGRadialGradientElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/rect
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGRectElement
+     */
+    rect: RectSVGAttributes<SVGRectElement> & Properties<SVGRectElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/set
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGSetElement
+     */
+    set: SetSVGAttributes<SVGSetElement> & Properties<SVGSetElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/stop
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGStopElement
+     */
+    stop: StopSVGAttributes<SVGStopElement> & Properties<SVGStopElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/svg
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGSVGElement
+     */
+    svg: SvgSVGAttributes<SVGSVGElement> & Properties<SVGSVGElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/switch
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGSwitchElement
+     */
+    switch: SwitchSVGAttributes<SVGSwitchElement> & Properties<SVGSwitchElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/symbol
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGSymbolElement
+     */
+    symbol: SymbolSVGAttributes<SVGSymbolElement> & Properties<SVGSymbolElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/text
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGTextElement
+     */
+    text: TextSVGAttributes<SVGTextElement> & Properties<SVGTextElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/textPath
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGTextPathElement
+     */
+    textPath: TextPathSVGAttributes<SVGTextPathElement> & Properties<SVGTextPathElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/tspan
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGTSpanElement
+     */
+    tspan: TSpanSVGAttributes<SVGTSpanElement> & Properties<SVGTSpanElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/use
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGUseElement
+     */
+    use: UseSVGAttributes<SVGUseElement> & Properties<SVGUseElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/SVG/Element/view
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/SVGViewElement
+     */
+    view: ViewSVGAttributes<SVGViewElement> & Properties<SVGViewElement>;
+  }
+
+  interface MathMLElementTags {
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/annotation
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    annotation: MathMLAnnotationElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/annotation-xml
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    "annotation-xml": MathMLAnnotationXmlElementAttributes<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/math
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    math: MathMLMathElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/merror
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    merror: MathMLMerrorElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mfrac
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mfrac: MathMLMfracElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mi
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mi: MathMLMiElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mmultiscripts
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mmultiscripts: MathMLMmultiscriptsElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mn
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mn: MathMLMnElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mo
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mo: MathMLMoElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mover
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mover: MathMLMoverElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mpadded
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mpadded: MathMLMpaddedElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mphantom
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mphantom: MathMLMphantomElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mprescripts
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mprescripts: MathMLMprescriptsElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mroot
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mroot: MathMLMrootElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mrow
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mrow: MathMLMrowElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/ms
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    ms: MathMLMsElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mspace
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mspace: MathMLMspaceElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/msqrt
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    msqrt: MathMLMsqrtElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mstyle
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mstyle: MathMLMstyleElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/msub
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    msub: MathMLMsubElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/msubsup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    msubsup: MathMLMsubsupElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/msup
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    msup: MathMLMsupElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mtable
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mtable: MathMLMtableElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mtd
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mtd: MathMLMtdElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mtext
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mtext: MathMLMtextElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mtr
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mtr: MathMLMtrElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/munder
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    munder: MathMLMunderElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/munderover
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    munderover: MathMLMunderoverElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/semantics
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    semantics: MathMLSemanticsElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @non-standard
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/menclose
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    menclose: MathMLMencloseElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @deprecated
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/maction
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    maction: MathMLMactionElementAttributes<MathMLElement> & Properties<MathMLElement>;
+    /**
+     * @deprecated
+     * @non-standard
+     * @url https://developer.mozilla.org/en-US/docs/Web/MathML/Element/mfenced
+     * @url https://developer.mozilla.org/en-US/docs/Web/API/MathMLElement
+     */
+    mfenced: MathMLMfencedElementAttributes<MathMLElement> & Properties<MathMLElement>;
+  }
+
+  interface IntrinsicElements
+    extends HTMLElementTags,
+      HTMLElementDeprecatedTags,
+      SVGElementTags,
+      MathMLElementTags {}
+}