Module type Slap_C.Mat.DSCMAT

module type DSCMAT = sig .. end
The signature of modules containing dynamically-sized discrete matrices.

type m 
A generative phantom type.
type n 
A generative phantom type.
val value : (m, n, Slap_misc.dsc) Slap_C.mat
A dynamically-sized discrete matrix with type like exists m, n. (m, n, dsc) vec.