Class type Dom_html.​headingElement

class type headingElement = element