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