interface HTMLFormElementimport { type HTMLFormElement } from "https://deno.land/x/deno@v0.1.12/js/dom_types.ts";