pure interface of class PremonJJTPatDots

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