An expression of type moduledefinition is generated by the syntax for module definitions.

The command type(expr, moduledefinition) returns true if expr is of type moduledefinition. Otherwise, false is returned.

Module definitions are not normally encountered in routine programming, since they evaluate immediately to modules. However, they may occur in procedure bodies, or in other, enclosing module definitions.

See the help page module for more information about modules and their definitions.

$\mathrm{type}\left(\mathbf{module}\left(\right)\mathbf{end\; module}\,\mathrm{moduledefinition}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathbf{module}\left(\right)\mathbf{end\; module}\,\mathrm{`module`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\'\mathbf{module}\left(\right)\mathbf{end\; module}\'\,\mathrm{moduledefinition}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\'\mathbf{module}\left(\right)\mathbf{end\; module}\'\,\mathrm{`module`}\right)$

$\mathrm{false}$