pure interface of class PremonJJTTypeTuple

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