Class type Dom_html.hrElement

class type hrElement = element