The call type(x, 'name') checks if x is of type name. It returns true if x is of type name. Otherwise, it returns false.

An object is of type name if it is a symbol, or if it is of type indexed and its root is of type name (that is, it is a recursive type).

If the parameter t is included, it checks that x is assigned something of that type.

type/algebraic

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{true}$

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

$\mathrm{true}$

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

$\mathrm{false}$

$\mathrm{type}\left(a\,'\mathrm{name}\left(\mathrm{integer}\right)'\right)$

$\mathrm{false}$

$a≔3$

$a≔3$

$\mathrm{type}\left('a'\,'\mathrm{name}\left(\mathrm{integer}\right)'\right)$

$\mathrm{true}$