Module PreSdp

module PreSdp: sig .. end

Preprocessed SDP (interface to the module Sdp).

See the module Sdp for details. This just call the corresponding function in Sdp after a preprocessing meant to eliminate redundant free variables.


module type S = sig .. end
module Make: 
functor (S : Scalar.S) -> S with module Scalar = S

TODO: explain differences between these modules.

module Q: S  with module Scalar = Scalar.Q
module Float: S  with module Scalar = Scalar.Float