INF-ARG : INFO

INF-ARG is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-UPDATE.
Each time options are update, make the value of
OPTIONS-GENERATE-ARG infinity.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage