pure interface of class PremonDecBind

public class PremonDecBind
  extends PremonDec
{
    public PremonDecBind(PremonPat P,
                         PremonExp M);
    public void print(Printer p);
    public Mor semanticsTo(PremonCon target);
}