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