Module YicesResponse

type yices_id
type yices_resp_p =
  1. | YNoResp
  2. | YSuccess
  3. | YCustom of string
  4. | YError
  5. | YRespSat of (HStringSExpr.t * HStringSExpr.t) list
  6. | YRespUnknown of (HStringSExpr.t * HStringSExpr.t) list
  7. | YRespUnsat of yices_id list
val success : string
val custom : string
val yices_id_of_int : int -> yices_id
val int_of_yices_id : yices_id -> int
val pp_print_yices_id : Stdlib.Format.formatter -> yices_id -> unit