REMARK-PRINTMATEFILE : WFFOP

REMARK-PRINTMATEFILE is a wff operation.
Write a remark into the PRINTMATEFILE.
 
The calling scheme for REMARK-PRINTMATEFILE is:

(REMARK-PRINTMATEFILE RM)
"STRING"


The result is of type NIL.

The arguments have the following meaning:
RM : Remark

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage