This text was automatically converted from troff me macros to HTML. Information may have been lost, added, or changed in the process. Lars Aronsson and Lysator do not guarantee the correctness of this HTML document.
remove type *- remove a user-defined type from the system catalogs
remove type typename
This command removes a user type from the system catalogs. Anyone is allowed to remove a type, and removal of types in use by a class will not be refused. Be careful not to remove a built-in type.
It is the user's responsibility to remove any operators and functions that use a deleted type.
/* remove the box type */ remove type box
introduction(commands), definetype(commands), removeoperator(commands).
This command should only be available to the definer of the type.