sig
  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 YicesResponse.yices_id list
  val success : string
  val custom : string
  val yices_id_of_int : int -> YicesResponse.yices_id
  val int_of_yices_id : YicesResponse.yices_id -> int
  val pp_print_yices_id : Format.formatter -> YicesResponse.yices_id -> unit
end