Xavier Leroy wrote:

> This said, red-black trees would probably work faster anyway, but I'll
> let the algorithm experts on this list comment.
>   


I don't suppose anyone's compared the ocaml splay tree library that's 
floating around with Map and red-black trees?