pure interface of class PremonExpDots

public class PremonExpDots
  extends PremonExp
{
    public PremonExpDots(PremonExp M,
                         PremonExp N);
    public void print(Printer p);
    public void printB(Printer p);
    public Mor semantics();
}