An object-oriented extension of ml with run-time overloading and a type-based notion of modules, functors and inheritance. It is built on caml light.

E-mail: <Francois.Rouaix@inria.fr>.