pure interface of class PremonPat

public abstract class PremonPat
  extends Printable
{
    public PremonType type;
    public PremonCon bind;
    public PremonPat();
}