Implementation of a type checker for the ML-Sub type system.

Copyright

This package is free software. It is released under the GNU General Public License.

Copyright Daniel Bonniot.