Module logic


Classes

AllExpression
ApplicationExpression
Constant
ConstantExpression
Error
Expression
IndVariableExpression
LambdaExpression
Operator
Parser
SomeExpression
Variable
VariableBinderExpression
VariableExpression

Functions

demo
expressions
is_indvar

[hide private]