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
[hide private]