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.

$\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}$

$\mathrm{TypeTools}\left[\mathrm{RemoveType}\right]\left('\mathrm{tff}'\right)$

$\mathrm{type}\left(\mathrm{true}\,'\mathrm{tff}'\right)$

Error, type `tff` does not exist