TypeTools - Maple Programming Help

Home : Support : Online Help : Programming : Data Types : Type Checking : TypeTools : TypeTools/RemoveType

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.

Examples

 > $\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}}$ (1)
 > $\mathrm{TypeTools}[\mathrm{RemoveType}]\left('\mathrm{tff}'\right)$
 > $\mathrm{type}\left(\mathrm{true},'\mathrm{tff}'\right)$