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.