/**
 * @implements globalThis.HTMLOptionElement
 */
export class HTMLOptionElement extends HTMLElement implements globalThis.HTMLOptionElement {
}
import { HTMLElement } from "./element.js";