Vector.Of_array
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.
Of_array
n
module A : sig ... end
type n
type a = A.a
val vector : (n, a) t