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_b\,\'\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}$