type token = | WITH| WILDCARD| WHERE| VERTICAL_BAR| VAL| UPPER_WORD of string| TYPE| THEN| SINGLE_QUOTED of string| SEMI_COLON| RIGHT_PAREN| RIGHT_BRACKET| REWRITE| QUOTED of string| PROP| PI| MATCH| LOWER_WORD of string| LOGIC_TRUE| LOGIC_OR| LOGIC_NOT| LOGIC_NEQ| LOGIC_IMPLY| LOGIC_FORALL| LOGIC_FALSE| LOGIC_EXISTS| LOGIC_EQUIV| LOGIC_EQ| LOGIC_AND| LET| LEMMA| LEFT_PAREN| LEFT_BRACKET| INTEGER of string| INT| INCLUDE| IN| IF| GOAL| FUN| EQDEF| EOI| END| ELSE| DOT| DEF| DATA| COMMA| COLON| ASSERT| ARROW| ARITH_PRODUCT| ARITH_PLUS| ARITH_MINUS| ARITH_LT| ARITH_LEQ| ARITH_GT| ARITH_GEQ| ANDval parse_ty : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.UntypedAST.tyval parse_term :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.UntypedAST.termval parse_statement_list :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.UntypedAST.statement listval parse_statement :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logtk.UntypedAST.statement