Class type Dom_html.headingElement

class type headingElement = element