RemoveType - Maple Help

TypeTools

 RemoveType
 remove user-defined type from type system

 Calling Sequence RemoveType(typename)

Parameters

 typename - symbol; name of the type

Description

 • 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.

Examples

 > $\mathrm{TypeTools}\left[\mathrm{AddType}\right]\left(\mathrm{tff},'\left\{\mathrm{identical}\left(\mathrm{FAIL}\right),\mathrm{identical}\left(\mathrm{false}\right),\mathrm{identical}\left(\mathrm{true}\right)\right\}'\right)$
 > $\mathrm{type}\left(\mathrm{true},'\mathrm{tff}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{TypeTools}\left[\mathrm{RemoveType}\right]\left('\mathrm{tff}'\right)$
 > $\mathrm{type}\left(\mathrm{true},'\mathrm{tff}'\right)$