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

# pure interface of class PremonConComp

The documentated page.

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

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

###### PremonConComp.interface.html