On 8 May 2009, at 15:23, Mart Sõmermaa wrote:
> On Fri, May 8, 2009 at 4:14 PM, Arnaud Delobelle <arnodel(a)googlemail.com
> > wrote:
>> 2009/5/8 Mart Sõmermaa <mrts.pydev(a)gmail.com>:
>>> As Multiset is arguably quite useless[...]
>> Arguably, it is far from useless.
> Can you perhaps provide a use case where a list (an "ordered
> multiset") does not suffice?
I implemented a unification algorithm that needed multisets to work in