Module type Slap_D.Mat.CNTMAT

module type CNTMAT = sig .. end
The signature of modules containing dynamically-sized contiguous matrices.

type m 
A generative phantom type.
type n 
A generative phantom type.
val value : (m, n, 'cnt) Slap_D.mat
A dynamically-sized contiguous matrix with type like exists m, n. (m, n, 'cnt) mat.