**************************************************************************
*                                                                        *
*                                  Dalton                                *
*                      an efficient implementation of                    *
*                 type inference with structural subtyping               *
*                                                                        *
*          Vincent Simonet, Projet Cristal, INRIA Rocquencourt           *
*                                                                        *
*  Author contact: Vincent.Simonet@inria.fr                              *
*  Software page: http://cristal.inria.fr/~simonet/soft/dalton/          *
*                                                                        *
**************************************************************************

Dalton is a generic and efficient library for type inference with
structural subtyping written in Objective Caml. It deals with
constraints resolution, simplification and comparison. This library
comes as a functor parametrized by a series of modules whose purpose
is to describe the client's type system. Hence, we hope it will be a
suitable type inference engine for a variety of applications.

Installation procedure is described in the file src-dalton/INSTALL.

More information about this library and documentation are available at:
http://cristal.inria.fr/~simonet/soft/dalton/
