module PreSdp: sig .. end
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
functor (
S
:
Scalar.S
) ->
with module Scalar = S
TODO: explain differences between these modules.
module Q: S with module Scalar = Scalar.Q
with module Scalar = Scalar.Q
module Float: S with module Scalar = Scalar.Float
with module Scalar = Scalar.Float