Up  Next

Module type Slap_S.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_S.mat
A dynamically-sized contiguous matrix with type like exists m, n. (m, n, 'cnt) mat.