Ssreflect_plugin.Ssrtacsval wit_ssrarg : Ssrparser.ssrarg Genarg.uniform_genarg_typeval wit_ssrrwarg : Ssrequality.ssrrwarg Genarg.uniform_genarg_typeval wit_ssrrwargs : Ssrequality.ssrrwarg list Genarg.uniform_genarg_typeval wit_ssrseqdir : Ssrast.ssrdir Genarg.uniform_genarg_typeval wit_ssrapplyarg : Ssrast.ssrapplyarg Genarg.uniform_genarg_typeval wit_ssrexactarg : Ssrast.ssrapplyarg Genarg.uniform_genarg_typeval wit_ssrcongrarg :
((int * Ssrast.ssrterm)
* Ssrmatching_plugin.Ssrmatching.cpattern Ssrast.ssragens)
Genarg.uniform_genarg_typeval wit_ssrunlockarg :
(Ssrast.ssrocc * Ssrast.ssrterm) Genarg.uniform_genarg_typeval wit_ssrunlockargs :
(Ssrast.ssrocc * Ssrast.ssrterm) list Genarg.uniform_genarg_typeval wit_ssrwlogfwd :
(Ssrast.clause list * (Ssrast.ssrfwdfmt * Ssrast.ast_closure_term))
Genarg.uniform_genarg_typeval wit_ssrdgens :
Ssrmatching_plugin.Ssrmatching.cpattern Ssrast.ssragens
Genarg.uniform_genarg_typeval wit_ssrdgens_tl :
Ssrmatching_plugin.Ssrmatching.cpattern Ssrast.ssragens
Genarg.uniform_genarg_typeval wit_ssr_idcomma : Names.Id.t option option Genarg.uniform_genarg_type