external of_Node : [> `NodeGdomeT.t -> TNotation.t = "ml_gdome_not_of_n"