pure interface of class PremonJJTExp

public abstract class PremonJJTExp
  extends PremonJJTNode
{
    public abstract PremonExp desugar(PremonCon Gamma)
      throws TypeError;
    public PremonJJTExp(int id);
}