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