2018-06-05 22:26:42 +03:00
|
|
|
(Module
|
|
|
|
|
(Empty)
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
|
|
|
|
(GADT
|
|
|
|
|
(Empty)
|
|
|
|
|
(Type
|
2018-06-05 22:26:42 +03:00
|
|
|
(Identifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)))
|
|
|
|
|
(Statements
|
|
|
|
|
(GADTConstructor
|
|
|
|
|
(Empty)
|
|
|
|
|
(Identifier)
|
2018-06-06 02:01:56 +03:00
|
|
|
(FunctionType
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(TypeParameters))
|
|
|
|
|
(FunctionType
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(TypeParameters))
|
2018-06-07 00:42:25 +03:00
|
|
|
(FunctionType
|
|
|
|
|
(Type
|
2018-06-06 02:01:56 +03:00
|
|
|
(Identifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters))
|
|
|
|
|
(Type
|
2018-06-06 02:01:56 +03:00
|
|
|
(Identifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)))))))))
|
|
|
|
|
(GADT
|
|
|
|
|
(Empty)
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Statements
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)))
|
|
|
|
|
(Statements
|
|
|
|
|
(GADTConstructor
|
|
|
|
|
(Empty)
|
|
|
|
|
(Identifier)
|
|
|
|
|
(FunctionType
|
|
|
|
|
(Type
|
|
|
|
|
(Statements
|
|
|
|
|
(Field
|
|
|
|
|
(Statements
|
|
|
|
|
(Identifier))
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(TypeParameters
|
|
|
|
|
(Identifier))))
|
|
|
|
|
(Field
|
|
|
|
|
(Statements
|
|
|
|
|
(Identifier))
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(TypeParameters
|
|
|
|
|
(Identifier)))))
|
|
|
|
|
(TypeParameters))
|
|
|
|
|
(Type
|
|
|
|
|
(Identifier)
|
|
|
|
|
(TypeParameters
|
|
|
|
|
(Identifier)
|
|
|
|
|
(Identifier)))))))))
|
