SUBSTYP : EDOP

SUBSTYP is an editor command.
Substitutes a type for a type variable in edwff.
 
The command format for SUBSTYP is:

<Ed>SUBSTYP TYPEVAR TYPESYM <<GWFF>>
"TYPESYM" "TYPESYM" <<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage