pure interface of class PremonJJTType

public abstract class PremonJJTType
  extends PremonJJTNode
{
    public abstract PremonType desugar();
    public PremonJJTType(int id);
}