Class type Dom_html.bodyElement


class type bodyElement = element