`[all packages] [package ] [class hierarchy] [index]`

# pure interface of class PremonCon

The documentated page.

    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();
    }

`[all packages] [package ] [class hierarchy] [index]`

###### PremonCon.interface.html