pure interface of class PremonExpDec

public class PremonExpDec
  extends PremonExp
{
    public PremonExpDec(PremonDec D,
                        PremonExp M);
    public void print(Printer p);
    public void printB(Printer p);
    public Mor semantics();
}