Worth to be mentionned : OCaml Reins has red-black trees featuring whole-set
operations.
 
http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=599
 
Regards,
 
damien guichard