Module YicesParser

type token =
  1. | UNSAT
  2. | UNKNOWN
  3. | SUCCESS
  4. | SAT
  5. | RIGHTPAR
  6. | LEFTPAR
  7. | INT of int
  8. | IDS
  9. | IDENT of string
  10. | ID
  11. | ERROR_MSG of string
  12. | EQ
  13. | EOF
  14. | DECIMAL of Decimal.t
  15. | CUSTOM_RESP of string
  16. | CORE
  17. | 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