Functor Slap_C.Vec.Of_array

module Of_array: functor (X : sig
val value : Slap_C.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_C.vec

A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.