March 13, 2010
2:12 p.m.
On Mar 13, 2010, at 3:03 PM, Niko Schwarz wrote:
Hi list,
the purpose of PluggableSet and KeyedSet is the same: they're both sets where the equivalence relation is overwritten by a block.
One of the two should be removed. What do you think?
Keyedset can be removed. (not used) Marcus -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.