On Fri, Nov 29, 2013 at 4:43 AM, Francois Berenger <berenger@riken.jp> wrote:
Other big libraries did that (Core some time ago, for example).

That's only partly true. Even though Core is not as monolithic as it used to be, Core_kernel alone requires [*] almost a dozen of libraries.

[*] http://opam.ocaml.org/pkg/core_kernel/109.47.00/