3.3. The lexical environment

The ECL interpreter uses two A-lists (Association lists) to represent lexical environments.

When a function closure is created, the current two A-lists are saved in the closure along with the lambda expression. Later, when the closure is invoked, the saved A-lists are used to recover the lexical environment.