[all packages]
[package ]
[class hierarchy]
[index]
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]