Module type Slap_D.SYEVR_RESULT

module type SYEVR_RESULT = sig .. end

type m 

type n 

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