Class type Dom_html.hrElement


class type hrElement = element