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