sig
  type m
  type n
  val value :
    Slap_D.SYEVR_RESULT.m Slap_size.t *
    (Slap_D.SYEVR_RESULT.n, 'cnt) Slap_D.vec *
    (Slap_D.SYEVR_RESULT.n, Slap_D.SYEVR_RESULT.m, 'cnt) Slap_D.mat *
    ((Slap_D.SYEVR_RESULT.m, Slap_D.SYEVR_RESULT.m) Slap_size.add, 'cnt)
    Slap_common.int32_vec
end