The call type(expr, applied) checks if expr is of the form name(args), where args is an expression sequence of zero or more items.

If a parameter vtype is given, then it also checks if each of the arguments are each of type vtype.

The types applied and applied(vtype) are identical to the types function and $\mathrm{function}\left(\mathrm{vtype}\right)$, respectively.

$\mathrm{type}\left(\sin \left(x\right)\,'\mathrm{applied}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(\sin \,'\mathrm{applied}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(f\left(\right)\,'\mathrm{applied}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(f\left(x\,y\,z\right)\,'\mathrm{applied}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(f\left(x\,y\,z\right)\,'\mathrm{applied}\left(\mathrm{name}\right)'\right)$

$\mathrm{true}$

$\mathrm{type}\left(f\left(1\,y\,z\right)\,'\mathrm{applied}\left(\mathrm{name}\right)'\right)$

$\mathrm{false}$