pure interface of class PremonJJTConBindFunCurried

public class PremonJJTConBindFunCurried
  extends PremonJJTCon
{
    public PremonJJTConBindFunCurried(int id);
    public void print(Printer p);
    public PremonType desugarFrom(int i);
    public PremonCon desugar();
    public PremonCon desugarPrimitives();
}