pure interface of class PremonConEmpty

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