Module logic


Classes

AllExpression
AllExpressionSubst
ApplicationExpression
ApplicationExpressionSubst
Constant
ConstantExpression
Error
Expression
IndVariableExpression
LambdaExpression
LambdaExpressionSubst
Operator
Parser
SomeExpression
SomeExpressionSubst
Variable
VariableBinderExpression
VariableExpression

Functions

demo
expressions
is_indvar
unique_variable

Variables

_counter

[hide private]