module Scalar : sig ... endtype vector = (int * Scalar.t) listtype !'a obj_ext = vector * 'a Sdp.block_diagtype !'a constr_ext = vector * 'a Sdp.block_diag * Scalar.t * Scalar.tval solve_ext_sparse :
?options:Sdp.options ->
?solver:Sdp.solver ->
Sdp.sparse_matrix obj_ext ->
Sdp.sparse_matrix constr_ext list ->
Sdp.bounds ->
SdpRet.t
* (float * float)
* (vector
* Sdp.matrix Sdp.block_diag
* float array
* Sdp.matrix Sdp.block_diag)val pp_obj_ext :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a obj_ext ->
unitval pp_constr_ext :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a constr_ext ->
unitval pp_ext_sparse :
Stdlib.Format.formatter ->
(Sdp.sparse_matrix obj_ext * Sdp.sparse_matrix constr_ext list * Sdp.bounds) ->
unit