Functor Slap_Z.Vec.Of_bigarray

module Of_bigarray: functor (X : sig
val share : bool
val value : (Slap_Z.num_type, Slap_Z.prec, Bigarray.fortran_layout) Bigarray.Array1.t
end) -> CNTVEC

A functor version of of_bigarray.

Parameters:

X : sig val share : bool val value : (num_type, prec, fortran_layout) Array1.t 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.