LIB-ABBR-LIST : WFFOP

LIB-ABBR-LIST is a wff operation.
Lists all the library abbreviations used in a gwff.
 
The calling scheme for LIB-ABBR-LIST is:

(LIB-ABBR-LIST GWFF)
"GWFF"


The result is of type SYMBOLLIST.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage