Module logic
Classes
AllExpression
ApplicationExpression
Constant
ConstantExpression
Error
Expression
IndVariableExpression
LambdaExpression
Operator
Parser
SomeExpression
Variable
VariableBinderExpression
VariableExpression
Functions
demo
expressions
is_indvar
[hide private]