In the Simple Units environment, the global type function is replaced by a type function that converts any unevaluated arithmetic operators, equalities, or inequalities to their global equivalents. This prevents problems that would otherwise arise because the global type command expects to find the global versions, not the versions from the Simple Units environment.

Every command in the Simple Units environment that needs to determine whether an expression is valid or not, does so using the Units:-TestDimensions command.

For more information about this function, see the global type help page.

$\mathrm{type}\left(a=3\,'\mathrm{name}=\mathrm{integer}'\right)$

$\mathrm{true}$

$\mathrm{with}\left(\mathrm{Units}\left[\mathrm{Simple}\right]\right)\:$

$:-\mathrm{type}\left(a=3\,'\mathrm{name}=\mathrm{integer}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(a=3\,'\mathrm{name}=\mathrm{integer}'\right)$

$\mathrm{true}$