module Nvector_array:sig..end
A custom nvector based on float arrays.
module type ARRAY_NVECTOR =sig..end
An abstract set of functions for working manipulating nvectors
where the underlying data structure is an array of floats.
module type ArrayOps =sig..end
A minimal interface for creating a custom nvector on an array type.
module Make(A:ArrayOps):ARRAY_NVECTORwith type data = A.data
Produce a custom nvector from basic operations on an underlying array.
include Nvector_array.ARRAY_NVECTOR
Nvector on Arrays of floats.