[all packages]
[package ]
[class hierarchy]
[index]
java.lang.Object | +----Printable | +----PremonCon | +----PremonConBind
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]