The abstract class of a lambda calculus expression.
|
__init__(self)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature |
source code
|
|
|
|
|
|
|
equals(self,
other)
Are the two expressions equal, modulo alpha conversion? |
source code
|
|
|
|
|
|
|
subterms(self)
Set of all subterms (including self). |
source code
|
|
|
replace(self,
variable,
expression,
replace_bound=True)
Replace all instances of variable v with expression E in self, where
v is free in self. |
source code
|
|
|
replace_unique(self,
variable,
counter=None,
replace_bound=True)
Replace a variable v with a new, uniquely-named variable. |
source code
|
|
|
simplify(self)
Evaluate the form by repeatedly applying applications. |
source code
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Inherited from object :
__delattr__ ,
__getattribute__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
|