Is there a way to look at the contents (i.e. signature) of a structure without opening it?
(I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious)
Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List.
Finally, what about searching for an identifier that would come into scope if you opened some structures?