Home | Trees | Indices | Help |
|
---|
|
object --+ | Expression --+ | VariableBinderExpression --+ | AllExpression
A universal quantification expression: all x.M.
|
|||
|
|||
|
|||
Inherited from Inherited from Inherited from Inherited from |
|
|||
PREFIX =
|
|||
Inherited from |
|
|||
|
|
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:26 2007 | http://epydoc.sourceforge.net |