TypeTools
Exists
check whether a type exists in the TypeTools database
Calling Sequence
Parameters
Description
Examples
Exists(typename)
typename
-
symbol; name of the type
The Exists command returns true if a type is associated with the name typename via the TypeTools package, and false otherwise.
Note that the Exists command does not check whether a name is the name of a valid type, since built-in types and types created by assigning to the name type/typename are not recognized.
To determine whether a name is the name of a valid type, use type( typename, 'type' ).
TypeToolsAddTypetff,identicalFAIL,identicalfalse,identicaltrue
TypeToolsExiststff
true
TypeToolsExistsno_such_type__
false
TypeToolsExistsinteger
typeinteger,type
See Also
type
type[structured]
TypeTools[AddType]
TypeTools[GetTypes]
Download Help Document