Module Dualize

module Dualize: sig .. end

TODO: doc


TODO: factorize defs and printing with PreSdp and Sdp

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