import { HTMLMediaElement } from "https://deno.land/x/deno@v2.0.4/cli/tsc/dts/lib.dom.d.ts";
type
{ prototype: HTMLMediaElement; readonly NETWORK_EMPTY: 0; readonly NETWORK_IDLE: 1; readonly NETWORK_LOADING: 2; readonly NETWORK_NO_SOURCE: 3; readonly HAVE_NOTHING: 0; readonly HAVE_METADATA: 1; readonly HAVE_CURRENT_DATA: 2; readonly HAVE_FUTURE_DATA: 3; readonly HAVE_ENOUGH_DATA: 4; new (): HTMLMediaElement; }