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