import { HTMLElement } from "https://deno.land/x/ink@1.3/tsdom/tsdom.ts";