// Generated by ReScript, PLEASE EDIT WITH CARE

import * as HTMLElement$WebAPI from "./HTMLElement.js";

HTMLElement$WebAPI.Impl({});

/*  Not a pure module */