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.