Docjar: mlsub/typing/lowlevel/KindUnsatisfiable.java

Home >> All >> mlsub >> typing >> [ lowlevel Javadoc ]

Source code: mlsub/typing/lowlevel/KindUnsatisfiable.java

1   package mlsub.typing.lowlevel;
2   
3   
4   /**
5    * Implemented by subclasses of Unsatisfiable to indicate that
6    * this is a kind error
7    *
8    * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:50 $
9    * @author Alexandre Frey
10   **/
11  interface KindUnsatisfiable {
12  }