pure interface of class PremonDec

public abstract class PremonDec
  extends Printable
{
    public PremonCat cat;
    public PremonCon bind;
    public PremonCon free;
    public abstract Mor semanticsTo(PremonCon target);
    public PremonDec();
}