Module type Nvector.NVECTOR

module type NVECTOR = sig .. end
Basic structure of a concrete nvector implementation module.

type kind 
Classifies the internal structure of an nvector.
type data 
The data wrapped within an nvector.
type t = (data, kind) Nvector.nvector 
An alias for the nvector type.
val wrap : data -> t
Wrap data in an nvector.
module Ops: Nvector.NVECTOR_OPS  with type t = t
Standard operations over nvectors.
module DataOps: Nvector.NVECTOR_OPS  with type t = data
Standard operations over the underlying data.