Module Nvector_array

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_NVECTOR  with 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.