Class type Dom_html.preElement

class type preElement = element