Online Eiffel Documentation
EiffelStudio

Local variable

Enter a local variable in the local field. A local variable clause will be added to the feature:

...
local
	n: INTEGER
...