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.
TypeToolsAddType⁡tff,'identical⁡true,identical⁡false,identical⁡FAIL'
type⁡true,'tff'
true
TypeToolsRemoveType⁡'tff'
Error, type `tff` does not exist
See Also
type
type[structured]
TypeTools[AddType]
TypeTools[GetType]
TypeTools[GetTypes]
Download Help Document