The call type(x,`local`) returns true if x is a local variable and false otherwise.

More precisely, it returns true if x is a symbol, and is not equal to the global variable with the same name. This includes module exports, but not environment variables.

The name local is a keyword and therefore it must be enclosed by backquotes in a call to type.

If the parameter t is included, it will check that x is assigned something of that type.

type/symbol

$\mathrm{type}\left(x\,\mathrm{`local`}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{convert}\left(x\,\mathrm{`local`}\right)\,\mathrm{`local`}\right)$

$\mathrm{true}$

f := proc() local a; a end proc:

$z≔f\left(\right)$

$z≔a$

$\mathrm{type}\left(z\,\mathrm{`local`}\right)$

$\mathrm{true}$