pure interface of class PremonJJTExpFunCurried

public class PremonJJTExpFunCurried
  extends PremonJJTExp
{
    public PremonJJTExpFunCurried(int id);
    public void print(Printer p);
    public void printA(Printer p);
    public PremonExp desugarFrom(int i,
                                 PremonCon Gamma)
      throws TypeError;
    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;
}