MBED=RIGHT : WFFOPMBED=RIGHT is a wff operation.
Embed the current edwff on the right side of equality.
The left side is provided by the user.
The calling scheme for MBED=RIGHT is:
(MBED=RIGHT RGWFF LGWFF)
The result is of type GWFF0.
The arguments have the following meaning:
RGWFF : Left side of =
LGWFF : Right side of =
TPS documentation homepage