Functor Slap_Z.Mat.Of_array

module Of_array: functor (X : sig
val value : Slap_Z.num_type array array
end) -> CNTMAT

A functor vesion of of_array.

Parameters:

X : sig val value : num_type array array end

type m

A generative phantom type.

type n

A generative phantom type.

val value : (m, n, 'cnt) Slap_Z.mat

A dynamically-sized contiguous matrix with type like exists m, n. (m, n, 'cnt) mat.