pure interface of class PremonConComp

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