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

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.

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