TypeTools
RemoveType
remove user-defined type from type system
Calling Sequence
Parameters
Description
Examples
RemoveType(typename)
typename
-
symbol; name of the type
The type typename is removed from the type system.
This function can only be used to remove definitions of types that have been registered using TypeTools[AddType]. In particular, it cannot be used to remove built-in types.
The RemoveType command returns NULL.
TypeToolsAddTypetff,identicalFAIL,identicalfalse,identicaltrue
typetrue,tff
true
TypeToolsRemoveTypetff
Error, type `tff` does not exist
See Also
type
type[structured]
TypeTools[AddType]
TypeTools[GetType]
TypeTools[GetTypes]
Download Help Document