external of_Node : [> `Node] GdomeT.t -> TNotation.t = "ml_gdome_not_of_n"