The call type(x, literal) checks to see if x is of type literal. It returns true if x is of type literal, and false otherwise.

An object is of type literal if it is of type complex({float,numeric}) or string. This includes expressions of type integer, fraction, float, and complex combinations of these. (The alternative float is included in the type complex({float,numeric}) in order to cover such expressions as Float(infinity) and 5. + Float(undefined)*I.)

To verify whether an expression identically matches a specified expression, use the type/identical command.

$\mathrm{type}\left(1\,\mathrm{literal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{1}{2}\,\mathrm{literal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(0.5\,\mathrm{literal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(''String''\,\mathrm{literal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{Name}\,\mathrm{literal}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\left[b\right]\,\mathrm{literal}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{a}{b}\,\mathrm{literal}\right)$

$\mathrm{false}$

$\mathrm{type}\left(2+\frac{4}{7}\mathrm{I}\,\mathrm{literal}\right)$

$\mathrm{true}$