Functor Slap_Z.Mat.Of_list

module Of_list: 
functor (X : sig
val value : Slap_Z.num_type list list
end) -> CNTMAT
A functor vesion of of_list.
Parameters:
X : sig val value : num_type list list 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.