// Generated by ReScript, PLEASE EDIT WITH CARE

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

HTMLMediaElement$WebAPI.Impl({});

/*  Not a pure module */