pure interface of class PremonJJTExpDots

public class PremonJJTExpDots
  extends PremonJJTExpTuple
{
    public PremonJJTExpDots(int id);
    public void print(Printer p);
    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;
}