Module YicesResponse

type yices_id
type yices_resp_p =
| YNoResp
| YSuccess
| YCustom of string
| YError
| YRespSat of (HStringSExpr.t * HStringSExpr.t) list
| YRespUnknown of (HStringSExpr.t * HStringSExpr.t) list
| 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