module Vector: sig end
float array
, but this removes the need to check arguments for
the same dimensionality.
If you want to do serious linear algebra, you're probably better off
with the lapack interface. This is just for lightweight use.
exception Different_dimensions of (int * int)
module type Dimension = sig end
module type V = sig end
module Make: functor (Dim : Dimension) -> V
module DimThree: Dimension
module Three: V
val cross_product : Three.t -> Three.t -> Three.t