Attr
public final class AtLambda extends Object implements Attr
Attr.Exception
AtLambda(Env env)
AtLambda(Phi self, Env env)
copy(Phi self)
Phi
get()
void
put(Phi phi)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public AtLambda(Env env)
public AtLambda(Phi self, Env env)
public String toString()
toString
Object
public Attr copy(Phi self)
copy
self
public Phi get()
get
public void put(Phi phi)
put
phi