Class type Dom_html.​hrElement

class type hrElement = element