pure interface of class PremonExpTuple

public class PremonExpTuple
  extends PremonExp
{
    public static final PremonExpTuple empty;
    public PremonExpTuple(PremonExp[] Ms);
    public void print(Printer p);
    public void printB(Printer p);
    public Mor semantics();
}