I'm not an expert in either language, but from my expose to the two, it seems to me OCaml is much heavier on the FP than the OO. If you asked me to imagine a FP-OO hybrid language, it would be closer to Scala than OCaml. Scala is both pervasively object-oriented and pervasively functional.

Scala's static type system also seems to be quite a bit more sophisticated than OCaml (though its type inference is crippled as a compromise).