Sven Hartrumpf scripsit:

> I think this should be made more precise, e.g.
> "A comparator bundles a type test predicate, an equality procedure,
> an ordering predicate, and a hash function.
> The last two are optional."

Done.

--
John Cowan          http://www.ccil.org/~cowan        xxxxxx@ccil.org
'Tis the Linux rebellion / Let coders take their place,
The Linux-nationale / Shall Microsoft outpace,
We can write better programs / Our CPUs won't stall,
So raise the penguin banner of / The Linux-nationale.  --Greg Baker