The Type command tests whether the expression e is of the type t. This command is identical to the top-level type command. For information about this command, see type.

$\mathrm{TypeTools}\left[\mathrm{Type}\right]\left(7\,'\mathrm{integer}'\right)$

$\mathrm{true}$

$\mathrm{TypeTools}\left[\mathrm{Type}\right]\left(\frac{2}{3}\,'\mathrm{integer}'\right)$

$\mathrm{false}$

$\mathrm{TypeTools}\left[\mathrm{Type}\right]\left(\left[2.3\,5.6\,8.9\right]\,'\mathrm{list}\left(\mathrm{float}\right)'\right)$

$\mathrm{true}$

$\mathrm{TypeTools}\left[\mathrm{Type}\right]\left(2x^7+3x+1\,'\mathrm{polynom}\left(\mathrm{integer}\right)'\right)$

$\mathrm{true}$