Home | Trees | Indices | Help |
|
---|
|
Expression --+ | VariableBinderExpression
A variable binding expression: e.g. \x.M.
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
Inherited from Inherited from |
|
|||
_counter = Counter()
|
|
|
Defines equality modulo alphabetic variance. If we are comparing \x.M and \y.N, then check equality of M and N[x/y].
|
Set of all variables.
|
Set of free variables.
|
Set of all subterms (including self).
|
Replace all instances of variable v with expression E in self, where v is free in self.
|
Evaluate the form by repeatedly applying applications.
|
|
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:31 2007 | http://epydoc.sourceforge.net |