pure interface of class PremonExpVar

public class PremonExpVar
  extends PremonExp
{
    public PremonExpVar(PremonVar x);
    public void print(Printer p);
    public void printA(Printer p);
    public Mor semantics();
}