FILESPEC : ARGTYPE

FILESPEC is an argument type.
The name of a file as a string or TTY for terminal.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage