Class type Dom_html.divElement


class type divElement = element