Class type Dom_html.headingElement


class type headingElement = element