definition module parse
-import lex
+from Data.Either import :: Either
+
+from lex import :: LexerOutput, :: Token, :: TokenValue
:: ParserOutput :== Either String AST
:: AST = If | While //stub
-:: Error = ParseException
parse :: LexerOutput -> ParserOutput