EQUAL-TYPE-P : WFFOP

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

(EQUAL-TYPE-P TYPE1 TYPE2)
"WFFTYPE" "WFFTYPE"


The result is of type BOOLEAN.

The arguments have the following meaning:
TYPE1 : Type
TYPE2 : Type

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage