pure interface of class PremonJJTPat

public abstract class PremonJJTPat
  extends PremonJJTNode
{
    public abstract PremonPat desugar();
    public PremonJJTPat(int id);
}