MBED-EQUIV-RIGHT : WFFOP

MBED-EQUIV-RIGHT is a wff operation.
Embed the current edwff on the right side of equivalence.
The left side is provided by the user.
 
The calling scheme for MBED-EQUIV-RIGHT is:

(MBED-EQUIV-RIGHT LGWFF RGWFF)
"GWFF0" "GWFF0"


The result is of type GWFF0.

The arguments have the following meaning:
LGWFF : Left side of equivalence
RGWFF : Right side of equivalence

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage