LCONTR : WFFOP

LCONTR is a wff operation.
Lambda-contract a top-level reduct.
Bound variables may be renamed using REN-VAR-FN
 
The calling scheme for LCONTR is:

(LCONTR REDUCT)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
REDUCT : gwff (reduct)

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage