pure interface of class PremonExpInt

public class PremonExpInt
  extends PremonExp
{
    public PremonExpInt(int i);
    public void print(Printer p);
    public void printA(Printer p);
    public Mor semantics();
}