open DOMTypes

include HTMLElement.Impl({type t = htmlFrameSetElement})