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