sig
  type t =
      Success
    | PartialSuccess
    | PrimalInfeasible
    | DualInfeasible
    | NearPrimalInfeasible
    | NearDualInfeasible
    | Unknown
  val is_success : SdpRet.t -> bool
  val pp : Stdlib.Format.formatter -> SdpRet.t -> unit
end