type token = | TRUE |
| RIGHT_PAREN |
| QUOTED of string |
| PAR |
| OR |
| NOT |
| MATCH |
| LET |
| LEMMA |
| LEFT_PAREN |
| IF |
| IDENT of string |
| FUN |
| FORALL |
| FALSE |
| EXIT |
| EXISTS |
| EQ |
| EOI |
| DISTINCT |
| DEFINE_FUN_REC |
| DEFINE_FUNS_REC |
| DEFINE_FUN |
| DEFAULT |
| DECLARE_SORT |
| DECLARE_FUN |
| DECLARE_CONST |
| DATA |
| CHECK_SAT |
| CASE |
| BOOL |
| AT |
| ASSERT_NOT |
| ASSERT |
| AS |
| ARROW |
| AND |
exception Error
val parse_ty : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Tip_ast.tyval parse_term : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Tip_ast.termval parse_list : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Tip_ast.statement listval parse : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Tip_ast.statement