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}}_{\mathrm{AddType}}\left(\mathrm{tff}\,\'\left\{\mathrm{identical}\left(\mathrm{true}\right)\,\mathrm{identical}\left(\mathrm{false}\right)\,\mathrm{identical}\left(\mathrm{FAIL}\right)\right\}\'\right)$

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

$\mathrm{true}$

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

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

Error, type `tff` does not exist