functor (S : Scalar.S) ->
  sig
    module Scalar :
      sig
        type t = S.t
        val compare : t -> t -> int
        val zero : t
        val one : t
        val of_float : float -> t
        val to_float : t -> float
        val of_q : Q.t -> t
        val to_q : t -> Q.t
        val add : t -> t -> t
        val sub : t -> t -> t
        val mult : t -> t -> t
        val div : t -> t -> t
        val pp : Format.formatter -> t -> unit
        val minus_one : t
        val of_int : int -> t
        val neg : t -> t
        val inv : t -> t
        val equal : t -> t -> bool
        val leq : t -> t -> bool
        val geq : t -> t -> bool
        val lt : t -> t -> bool
        val gt : t -> t -> bool
        val sign : t -> int
        val ( ~- ) : t -> t
        val ( + ) : t -> t -> t
        val ( - ) : t -> t -> t
        val ( * ) : t -> t -> t
        val ( / ) : t -> t -> t
        val ( = ) : t -> t -> bool
        val ( <> ) : t -> t -> bool
        val ( <= ) : t -> t -> bool
        val ( >= ) : t -> t -> bool
        val ( < ) : t -> t -> bool
        val ( > ) : t -> t -> bool
      end
    type vector = (int * Scalar.t) list
    type 'a obj_ext = vector * 'a Sdp.block_diag
    type 'a constr_ext = vector * 'a Sdp.block_diag * Scalar.t * Scalar.t
    val 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 :
      (Format.formatter -> 'a -> unit) ->
      Format.formatter -> 'a obj_ext -> unit
    val pp_constr_ext :
      (Format.formatter -> 'a -> unit) ->
      Format.formatter -> 'a constr_ext -> unit
    val pp_ext_sparse :
      Format.formatter ->
      Sdp.sparse_matrix obj_ext * Sdp.sparse_matrix constr_ext list *
      Sdp.bounds -> unit
  end