pure interface of class PremonJJTPatBindFunCurried

public class PremonJJTPatBindFunCurried
  extends PremonJJTPat
{
    public PremonJJTPatBindFunCurried(int id);
    public void print(Printer p);
    public PremonPat desugar();
}