sig
  type m
  type n
  val value :
    (Slap_Z.Mat.DSCMAT.m, Slap_Z.Mat.DSCMAT.n, Slap_misc.dsc) Slap_Z.mat
end