pure interface of class PremonTypeDots

public class PremonTypeDots
  extends PremonType
{
    public PremonTypeDots(PremonType T,
                          PremonType U);
    public void print(Printer p);
    public void printB(Printer p);
    public Obj semantics();
    public boolean equals(PremonType V);
    public boolean traceable();
}