RENAME-BD-VAR : WFFOP

RENAME-BD-VAR is a wff operation.
Rename the top-level bound variable using the value of the
global parameter REN-VAR-FN.
 
The calling scheme for RENAME-BD-VAR is:

(RENAME-BD-VAR BDWFF)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
BDWFF : bound wff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage