TYPE : WFFOP
TYPE
is a wff operation.
Return the
type
of a
gwff
.
The calling scheme for
TYPE
is:
(
TYPE
GWFF
)
"
GWFF
"
The result is of
type
TYPESYM
.
The arguments have the following meaning:
GWFF
:
gwff
TPS documentation homepage