external get_tagName : this:[> `Element] GdomeT.t -> TDOMString.t = "ml_gdome_el_get_tagName"