TOP-LEVEL-DEFN : WFFOP

TOP-LEVEL-DEFN is a wff operation.
Tests whether the argument is a top-level definition.
 
The calling scheme for TOP-LEVEL-DEFN is:

(TOP-LEVEL-DEFN %1)
"GWFF"


The result is of type BOOLEAN.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage