+let get_relevance (NReference.Ref (_, infos) as r) =
+ match infos with
+ NReference.Def _ -> let res,_,_,_,_,_ = get_checked_def r in res
+ | NReference.Decl -> let res,_,_,_,_ = get_checked_decl r in res
+ | NReference.Ind _ ->
+ let _,_,tl,_,n = get_checked_indtys r in
+ let res,_,_,_ = List.nth tl n in
+ res
+ | NReference.Con (_,i) ->
+ let _,_,tl,_,n = get_checked_indtys r in
+ let _,_,_,cl = List.nth tl n in
+ let res,_,_ = List.nth cl (i - 1) in
+ res
+ | NReference.Fix (fixno,_,_)
+ | NReference.CoFix fixno ->
+ let fl,_,_ = get_checked_fixes_or_cofixes r in
+ let res,_,_,_,_ = List.nth fl fixno in
+ res