sig
type
m
type
n
val
value : (
Slap_Z
.
Mat
.
CNTMAT
.m,
Slap_Z
.
Mat
.
CNTMAT
.n,
'
cnt)
Slap_Z
.mat
end