pure interface of class TypeError

public class TypeError
  extends Exception
{
    public static final TypeError unknownVar;
    public TypeError(String explanation);
}