The call type(expr, indexed) checks if expr is of type indexed. It returns true if expr is of type indexed, and false otherwise.

If a parameter itype is given, the type command also checks if each of the indices are of type itype.

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{true}$

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

$\mathrm{false}$

$\mathrm{type}\left(a\left[3\right]\,\mathrm{indexed}\left(\mathrm{integer}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(a\left[b,c\right]\,\mathrm{indexed}\left(\mathrm{name}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(a\left[b,3\right]\,\mathrm{indexed}\left(\mathrm{name}\right)\right)$

$\mathrm{false}$