external get_name : this:[> `DocumentType] GdomeT.t -> TDOMString.t = "ml_gdome_dt_get_name"