Class type Dom_html.preElement


class type preElement = element