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.