SUBSTITUTE-TYPES : WFFOP

SUBSTITUTE-TYPES is a wff operation.
Substitute for types from list ((old . new) ...) in gwff.
 
The calling scheme for SUBSTITUTE-TYPES is:

(SUBSTITUTE-TYPES ALIST GWFF)
"TYPEALIST" "GWFF"


The result is of type GWFF.

The arguments have the following meaning:
ALIST : alist of types
GWFF : gwff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage