A lambda expression: \x.M.
Methods
|
|
__init__
__str__
equals
free
replace
simplify
subterms
variables
|
|
__init__
|
__init__ (
self,
variable,
term,
)
|
|
__str__
|
__str__ ( self, continuation=0 )
|
|
equals
|
equals ( self, other )
|
|
free
|
free ( self )
|
|
replace
|
replace (
self,
variable,
expression,
)
|
|
simplify
|
simplify ( self )
|
|
subterms
|
subterms ( self )
|
|
variables
|
variables ( self )
|
|