[jhc] Occurance collection.
lemmih at gmail.com
Sat Feb 23 14:46:51 EST 2008
In E.SSimplify.collectOccurance the 'arg' function is used quite often
and I can't tell why. The function clears usage information for free
variables and is primarily used for types.
It would be a great help if you'd add a short description to
collectOccurance and collectDs. Any information about invariants
and/or what they're trying to do would be appreciated.
More information about the jhc