2018-06-12 01:54:01 +03:00
|
|
|
(Module
|
|
|
|
(Empty)
|
|
|
|
(Statements
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(VariableIdentifier))
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(ConstructorIdentifier)
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(ConstructorIdentifier)
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(ConstructorIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(VariableIdentifier))
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(UnitConstructor)))
|
2018-06-12 20:47:48 +03:00
|
|
|
(Function
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Statements
|
|
|
|
(EnumFrom
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))
|
|
|
|
(Function
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Statements
|
|
|
|
(EnumFromThen
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))
|
|
|
|
(Function
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Statements
|
|
|
|
(EnumFromTo
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))
|
|
|
|
(Function
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Statements
|
|
|
|
(EnumFromThenTo
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))
|
2018-06-12 01:54:01 +03:00
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(ListComprehension
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier)))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(ListComprehension
|
|
|
|
(Tuple
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier)))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(ListComprehension
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Array
|
|
|
|
(Array
|
|
|
|
(Tuple
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })
|
|
|
|
(Tuple
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }))
|
|
|
|
(Array
|
|
|
|
(Tuple
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })
|
|
|
|
(Tuple
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }))))
|
|
|
|
(Generator
|
|
|
|
(TuplePattern
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
(VariableIdentifier))
|
2018-06-12 20:47:48 +03:00
|
|
|
(VariableIdentifier)))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(ListComprehension
|
|
|
|
(Tuple
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Array
|
|
|
|
(Integer)
|
|
|
|
(Integer)
|
|
|
|
{+(Integer)+}
|
|
|
|
{+(Integer)+}))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(EnumFromTo
|
|
|
|
(Integer)
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(ListComprehension
|
|
|
|
(ListComprehension
|
|
|
|
(Tuple
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Array
|
|
|
|
{-(Integer)-}
|
|
|
|
(Integer)
|
|
|
|
{+(Integer)+})))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(EnumFrom
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(App
|
|
|
|
(App
|
|
|
|
(VariableIdentifier)
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })
|
|
|
|
(ListComprehension
|
|
|
|
(ListComprehension
|
|
|
|
(Tuple
|
|
|
|
(VariableIdentifier)
|
|
|
|
(VariableIdentifier))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(Array
|
|
|
|
(Integer)
|
|
|
|
(Integer))))
|
|
|
|
(Generator
|
|
|
|
(VariableIdentifier)
|
|
|
|
(EnumFrom
|
2018-06-12 23:18:44 +03:00
|
|
|
(Integer)))))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(RightOperatorSection
|
|
|
|
(ConstructorOperator
|
|
|
|
(ConstructorSymbol))
|
|
|
|
(VariableIdentifier))))
|
|
|
|
(Function
|
|
|
|
{ (VariableIdentifier)
|
|
|
|
->(VariableIdentifier) }
|
|
|
|
(Statements
|
|
|
|
(RightOperatorSection
|
|
|
|
(ConstructorOperator
|
|
|
|
(ConstructorSymbol))
|
|
|
|
(VariableIdentifier))))
|
|
|
|
{+(Function
|
|
|
|
{+(VariableIdentifier)+}
|
|
|
|
{+(Statements
|
|
|
|
{+(LeftOperatorSection
|
|
|
|
{+(VariableIdentifier)+}
|
|
|
|
{+(ConstructorOperator
|
|
|
|
{+(ConstructorSymbol)+})+})+})+})+}
|
|
|
|
{+(Function
|
|
|
|
{+(VariableIdentifier)+}
|
|
|
|
{+(Statements
|
|
|
|
{+(LeftOperatorSection
|
|
|
|
{+(VariableIdentifier)+}
|
|
|
|
{+(ConstructorOperator
|
|
|
|
{+(ConstructorSymbol)+})+})+})+})+}
|
|
|
|
{-(Function
|
|
|
|
{-(VariableIdentifier)-}
|
|
|
|
{-(Statements
|
|
|
|
{-(LeftOperatorSection
|
|
|
|
{-(VariableIdentifier)-}
|
|
|
|
{-(ConstructorOperator
|
|
|
|
{-(ConstructorSymbol)-})-})-})-})-}
|
|
|
|
{-(Function
|
|
|
|
{-(VariableIdentifier)-}
|
|
|
|
{-(Statements
|
|
|
|
{-(LeftOperatorSection
|
|
|
|
{-(VariableIdentifier)-}
|
|
|
|
{-(ConstructorOperator
|
|
|
|
{-(ConstructorSymbol)-})-})-})-})-}))
|