package fix

  1. Overview
  2. Docs
package fix
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Vector.Of_arraySource

The functor Of_array converts an ordinary array to a vector. No runtime check is involved. The type component n of the result serves as a fresh type-level identifier for the length of this vector.

Parameters

module A : sig ... end

Signature

Sourcetype n
Sourcetype a = A.a
Sourceval vector : (n, a) t