2017-02-23 21:06:49 +03:00
|
|
|
(Program
|
|
|
|
(Module
|
|
|
|
(Identifier))
|
|
|
|
(Function
|
2017-10-25 02:14:46 +03:00
|
|
|
(Empty)
|
2017-12-01 03:28:04 +03:00
|
|
|
(Identifier)
|
2017-11-10 04:01:19 +03:00
|
|
|
([])
|
2017-10-25 02:14:46 +03:00
|
|
|
(
|
2017-11-20 22:07:21 +03:00
|
|
|
{ (Identifier)
|
|
|
|
->(Identifier) }
|
2017-12-02 01:13:24 +03:00
|
|
|
{+(Negate
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{+(Not
|
|
|
|
{+(ReceiveOperator
|
|
|
|
{+(Identifier)+})+})+}
|
|
|
|
{+(Pointer
|
|
|
|
{+(Call
|
|
|
|
{+(Identifier)+}
|
|
|
|
{+(Empty)+})+})+}
|
|
|
|
{+(Complement
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{+(Reference
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{+(ReceiveOperator
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{-(Negate
|
|
|
|
{-(Identifier)-})-}
|
|
|
|
{-(Not
|
|
|
|
{-(ReceiveOperator
|
|
|
|
{-(Identifier)-})-})-}
|
|
|
|
{-(Pointer
|
|
|
|
{-(Call
|
|
|
|
{-(Identifier)-}
|
|
|
|
{-(Empty)-})-})-}
|
|
|
|
{-(Complement
|
|
|
|
{-(Identifier)-})-}
|
|
|
|
{-(Reference
|
|
|
|
{-(Identifier)-})-}
|
|
|
|
{-(ReceiveOperator
|
|
|
|
{-(Identifier)-})-})))
|