| 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 }