Module Ssreflect_plugin.Ssrvernac
val 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