definition module parse
-import lex
+from Data.Either import :: Either
+from Data.Maybe import :: Maybe
+from StdString import class toString
-:: ParserOutput :== Either String AST
-:: AST = If | While //stub
-:: Error = ParseException
+from lex import :: LexerOutput, :: Error, :: Token, :: TokenValue, :: Pos
+from AST import :: AST
-parse :: LexerOutput -> ParserOutput
+:: ParserOutput :== Either Error AST
+
+parser :: [Token] -> ParserOutput