Can anyone tell me what instrFakeTable is supposed to be good for?
It's never used anywhere, as far as I can tell.
Is it, at this point, merely an archeological curiosity?
If so, I'd like to take it out.
Cheers,
-- Denys Duchier - Équipe Calligramme - LORIA, Nancy, France - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.