Overview of the TypeTools Package
List of TypeTools Package Commands
The TypeTools package is a collection of tools for extending the set of known types in the type command.
This package can be used to extend the type command with user-defined types. AddType(t,h) installs a handler h for a new type t. Subsequent calls to type(expression, t) invoke this handler.
Each command in the TypeTools package can be accessed by using either the long form or the short form of the command name in the command calling sequence.
The long form, TypeTools:-command, is always available. The short form can be used after loading the package.
The following is a list of available commands.
To display the help page for a particular TypeTools command, see Getting Help with a Command in a Package.
Download Help Document