module type MatrixSig = sig .. end
sig
end
type ('a, 'b) t
('a, 'b)
val dot : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t