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:
TODO: explain differences between these modules.
module Q:S
with module Scalar = Scalar.Q
module Float:S
with module Scalar = Scalar.Float