At Thu, 1 Dec 2005 12:55:56 -0500 (EST), Andre van Tonder wrote:
>  Having said this, I am not sure how INDIRECT-EXPORT would help here.
>  It does not include a directive for specifying mutability, so
>  whether the binding is mutated is still undecidable.
>  The same goes for number of arguments, etc.

Right --- it doesn't help you know anything about indirectly exported
bindings. It only helps you know something about bindings that are not
exported at all (directly or indirectly).

Matthew