Confused about E-id

[Nate Cerny]

I cannot figure out what e-id in the function (generate-constraints e-
id e). What does it represent?

[Nate Cerny]

One more thing:
The line below the function definition says:

Returns the constraints generated by e. e-id serves as e’s label in
this list.

Does this mean that at the time the function is called that e is
associated with e-id or is this done once the function is finished to
identify it in the list of constraints?

[Bryan Morse]

The caller passes into generate-constraints the label (type variable) for e. generate-constraints should then use that label in generating constraints relative to that expression. If it has subexpressions, it should generate labels (and constraints) for these and call recursively call generate-constraints on them with their respective labels.