external get_notationName : this:[> `EntityGdomeT.t -> TDOMString.t option = "ml_gdome_ent_get_notationName"