pure interface of class PremonJJTCon

public abstract class PremonJJTCon
  extends PremonJJTNode
{
    public abstract PremonCon desugar();
    public abstract PremonCon desugarPrimitives();
    public PremonJJTCon(int id);
}