pure interface of class PremonConBind

public class PremonConBind
  extends PremonCon
{
    public PremonConBind(PremonVar x);
    public void print(Printer p);
    public PremonVar lookup(String s)
      throws TypeError;
    public PremonCon hide(PremonCon Gamma);
    public boolean binds(PremonVar y);
    public PremonCon uniq();
    public Obj semantics();
    public Shuffle shuffleTo(PremonCon Gamma);
    public Shuffle shuffleFromVar(PremonVar y);
    public Shuffle shuffleToVar(PremonVar y);
}