The type(expr, callable) calling sequence returns true if expr is either a procedure, a module with a ModuleApply procedure, or a name whose assigned value is one of the preceding.

type( proc() end proc, callable );

$\mathrm{true}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

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

$\mathrm{false}$

type( module() export ModuleApply := proc() end proc; end module, callable );

$\mathrm{true}$