NAME-DPAIR : UNIFOPNAME-DPAIR is an unification command.
Give a name to the dpairset associated with the current topnode.
This is most useful when UNIFY has been issued from the MATE top
level, and you want to name the current dpair so that you can save
it in the library. See also EPROOF-UTREE.
The command format for NAME-DPAIR is:
TPS documentation homepage