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

# pure interface of class PremonConBind

The documentated page.

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

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

###### PremonConBind.interface.html