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}}_{\mathrm{Type}}\left(7\,\'\mathrm{integer}\'\right)$

$\mathrm{true}$

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

$\mathrm{false}$

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

$\mathrm{true}$

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

$\mathrm{true}$