Class type Dom_html.divElement

class type divElement = element