interface HTMLDetailsElement implements HTMLElementimport { type HTMLDetailsElement } from "https://deno.land/x/windmill@v1.373.0/node_modules/evt/src/lib/types/lib.dom.ts"; Propertiesopen: booleanMethodsaddEventListener<K extends keyof HTMLElementEventMap>(type: K,listener: (this: HTMLDetailsElement, ev: HTMLElementEventMap[K]) => any,options?: boolean | AddEventListenerOptions,): voidaddEventListener(type: string,listener: EventListenerOrEventListenerObject,options?: boolean | AddEventListenerOptions,): voidremoveEventListener<K extends keyof HTMLElementEventMap>(type: K,listener: (this: HTMLDetailsElement, ev: HTMLElementEventMap[K]) => any,options?: boolean | EventListenerOptions,): voidremoveEventListener(type: string,listener: EventListenerOrEventListenerObject,options?: boolean | EventListenerOptions,): void