Module type Slap_S.SYEVR_RESULT

module type SYEVR_RESULT = sig .. end

type m 

type n 

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