pure interface of class PremonJJTExpFunThunk

public class PremonJJTExpFunThunk
  extends PremonJJTExp
{
    public PremonJJTExpFunThunk(int id);
    public void print(Printer p);
    public void printB(Printer p);
    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;
}