public class TypesIncompatibleInTermException extends java.lang.RuntimeException
TypesIncompatibleInTermException(java.lang.String string)
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public TypesIncompatibleInTermException(java.lang.String string)