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