module Matrix:sig
..end
Matrices and basic operations.
module type S =sig
..end
module Make:
module Q:S
with module Coeff = Scalar.Q
Matrix with Q.t coefficients from the library Zarith.
module Float:S
with module Coeff = Scalar.Float
Matrix with float coefficients