APPLY-SUBSTS-MS : WFFOP

APPLY-SUBSTS-MS is a wff operation.
Apply substitutions found during mating search to JFORM. Applicable
only if mating is complete.
 
The calling scheme for APPLY-SUBSTS-MS is:

(APPLY-SUBSTS-MS)


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage