Go to the first, previous, next, last section, table of contents.


Implementation Defined Options

maximum number of locals in a definition:
s" #locals" environment? drop .. Currently 15. This is a lower bound, e.g., on a 32-bit machine there can be 41 locals of up to 8 characters. The number of locals in a definition is bounded by the size of locals-buffer, which contains the names of the locals.


Go to the first, previous, next, last section, table of contents.