Ssreflect_plugin.Ssrvernacval wit_ssrhintref :
(Constrexpr.constr_expr, Genintern.glob_constr_and_expr, EConstr.constr)
Genarg.genarg_typeval wit_ssrviewpos :
(Ssrview.AdaptorDb.kind option,
Ssrview.AdaptorDb.kind option,
Ssrview.AdaptorDb.kind option)
Genarg.genarg_typeval wit_ssrviewposspc :
(Ssrview.AdaptorDb.kind option,
Ssrview.AdaptorDb.kind option,
Ssrview.AdaptorDb.kind option)
Genarg.genarg_type