external get_publicId : this:[> `Notation] GdomeT.t -> TDOMString.t option = "ml_gdome_not_get_publicId"