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