Class type Dom_html.​divElement

class type divElement = element