23 Aug
2012
23 Aug
'12
11:51 a.m.
On Thu, Aug 23, 2012 at 4:43 PM, Simon Marlow
The current text seems clear to me. This is the *definition* of what is exported by module M, so referring to what is exported by module M within its own definition would be very confusing.
To clarify, this is not the definition of what is exported by module M; rather, it is the definition of what is exported by some other module that includes "module M" in its export list.