pure interface of class PremonPatTuple

public class PremonPatTuple
  extends PremonPat
{
    public static final PremonPatTuple empty;
    public PremonPatTuple(PremonPat[] Ps);
    public void print(Printer p);
    public void printB(Printer p);
}