sig
  type matrix = (int * int * float) list
  type block_diag_matrix = (int * Moseksdp.matrix) list
  type options = { verbose : int; }
  val default : Moseksdp.options
  val solve :
    ?options:Moseksdp.options ->
    Moseksdp.block_diag_matrix ->
    (Moseksdp.block_diag_matrix * float) list ->
    SdpRet.t * (float * float) *
    ((int * float array array) list * float array *
     (int * float array array) list)
  val solve_ext :
    ?options:Moseksdp.options ->
    (int * float) list * Moseksdp.block_diag_matrix ->
    ((int * float) list * Moseksdp.block_diag_matrix * float * float) list ->
    (int * float * float) list ->
    SdpRet.t * (float * float) *
    ((int * float) list * (int * float array array) list * float array *
     (int * float array array) list)
end