pure interface of class PremonTypeTuple

public class PremonTypeTuple
  extends PremonType
{
    public static final PremonTypeTuple empty;
    public PremonTypeTuple(PremonType[] Ts);
    public void print(Printer p);
    public void printB(Printer p);
    public Obj semantics();
    public boolean equals(PremonType T);
    public boolean traceable();
}