Source Code Cross Referenced for KindUnsatisfiable.java in  » Scripting » Nice » mlsub » typing » lowlevel » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package mlsub.typing.lowlevel;
02:
03:        /**
04:         * Implemented by subclasses of Unsatisfiable to indicate that
05:         * this is a kind error
06:         *
07:         * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:50 $
08:         * @author Alexandre Frey
09:         **/
10:        interface KindUnsatisfiable {
11:        }