Module Tip_parser

module Tip_parser: sig .. end

type token =

`\|`	`TRUE`
`\|`	`RIGHT_PAREN`
`\|`	`QUOTED of string`
`\|`	`PAR`
`\|`	`OR`
`\|`	`NOT`
`\|`	`MATCH`
`\|`	`LET`
`\|`	`LEFT_PAREN`
`\|`	`IF`
`\|`	`IDENT of string`
`\|`	`FUN`
`\|`	`FORALL`
`\|`	`FALSE`
`\|`	`EXISTS`
`\|`	`EQ`
`\|`	`EOI`
`\|`	`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_list : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Tip_ast.statement list

val parse : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.statement