pure interface of class PremonJJTTypeDots

public class PremonJJTTypeDots
  extends PremonJJTTypeTuple
{
    public PremonJJTTypeDots(int id);
    public void print(Printer p);
    public PremonType desugar();
}