pure interface of class PremonJJTPatTuple

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