TYPE-EQUAL : WFFOP

TYPE-EQUAL is a wff operation.
Test whether the types of two wffs are the same.
 
The calling scheme for TYPE-EQUAL is:

(TYPE-EQUAL GWFF1 GWFF2)
"GWFF" "GWFF"


The result is of type BOOLEAN.

The arguments have the following meaning:
GWFF1 : gwff1
GWFF2 : gwff2

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage