external hasAttributeNS : this:[> `Element] GdomeT.t -> namespaceURI:TDOMString.t -> localName:TDOMString.t -> bool = "ml_gdome_el_hasAttributeNS"