pure interface of class PremonExpDouble

public class PremonExpDouble
  extends PremonExp
{
    public PremonExpDouble(double d);
    public void print(Printer p);
    public void printA(Printer p);
    public Mor semantics();
}