WRITE-RULE : MEXPR

WRITE-RULE is a top-level command.
Write the various functions and definitions for a rule into a file.
The command format for WRITE-RULE is:

 <n>WRITE-RULE  RULE  FILENAME 
"RULE" "FILESPEC"


The arguments have the following meaning:
RULE : Rule to Write
FILENAME : File to Write Rule to

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage