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