pure interface of class PremonCon

public abstract class PremonCon
  extends Printable
{
    public static final PremonCon empty;
    public abstract PremonCon hide(PremonCon Gamma);
    public abstract boolean binds(PremonVar x);
    public abstract PremonCon uniq();
    public abstract Obj semantics();
    public abstract Shuffle shuffleTo(PremonCon Gamma);
    public abstract Shuffle shuffleFromVar(PremonVar x);
    public abstract Shuffle shuffleToVar(PremonVar x);
    public abstract PremonVar lookup(String s)
      throws TypeError;
    public PremonCon comp(PremonCon Gamma);
    public Mor semanticsTo(PremonCon Gamma);
    public PremonCon();
}