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

# pure interface of class PremonConEmpty

The documentated page.

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

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

###### PremonConEmpty.interface.html