Module YicesParser

type token =
| UNSAT
| UNKNOWN
| SUCCESS
| SAT
| RIGHTPAR
| LEFTPAR
| INT of int
| IDS
| IDENT of string
| ID
| ERROR_MSG of string
| EQ
| EOF
| DECIMAL of Decimal.t
| CUSTOM_RESP of string
| CORE
| COLON
exception Error
val resp : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> YicesResponse.yices_resp_p
val error_msg : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> string
val assertion_id : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> int