Functor Slap_Z.Vec.Of_array

module Of_array: 
functor (X : sig
val value : Slap_Z.num_type array
end) -> CNTVEC
A functor version of of_array.
Parameters:
X : sig val value : num_type array end

type n 
A generative phantom type.
val value : (n, 'cnt) Slap_Z.vec
A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.