pure interface of class PremonJJTConEmpty

public class PremonJJTConEmpty
  extends PremonJJTCon
{
    public PremonJJTConEmpty(int id);
    public void print(Printer p);
    public PremonCon desugar();
    public PremonCon desugarPrimitives();
}