Previous  Up  

Module type Slap_D.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_D.mat
A dynamically-sized discrete matrix with type like exists m, n. (m, n, dsc) vec.