pure interface of class PremonDecComp

public class PremonDecComp
  extends PremonDec
{
    public PremonDecComp(PremonDec D,
                         PremonDec E);
    public void print(Printer p);
    public Mor semanticsTo(PremonCon target);
}