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/