external get_tagName : this:[> `ElementGdomeT.t -> TDOMString.t = "ml_gdome_el_get_tagName"