The type(expr, appliable) calling sequence returns true if expr, when applied to some expression or expression sequence, may evaluate to an expression that is not of type $\mathrm{specfunc}\left(\mathrm{expr}\right)$.

More specifically, expr is appliable if one of the following is true:

- It is one of the following types.

- It is of type @ and all its operands are appliable.

- It is of type @@ and its first operand is appliable.

- It is of type indexed and its zeroth operand is appliable.

- It is an appliable module.

- It is of type function, and an evalapply rule exists for its zeroth operand.

type( proc() end proc, appliable );

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{foo}\,\mathrm{appliable}\right)$

$\mathrm{false}$

$\mathrm{type}\left(2\,\mathrm{appliable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{D}\left[1\right]\,\mathrm{appliable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x\Rightarrow y\,\mathrm{appliable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\sin \circ \cos \,\mathrm{appliable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\left\{f\,g\right\}\,\mathrm{appliable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{LinearAlgebra}\,\mathrm{appliable}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathbf{module}\left(\right)\mathrm{\_export}\left(\mathrm{ModuleApply}\right)\mathbf{end\; module}\,\mathrm{appliable}\right)$

$\mathrm{true}$