pure interface of class PremonPatBind

public class PremonPatBind
  extends PremonPat
{
    public PremonPatBind(PremonVar x);
    public void print(Printer p);
}