Ltac_plugin.G_classval wit_debug : (bool, bool, bool) Genarg.genarg_typeval debug : bool Pcoq.Entry.tval wit_eauto_search_strategy_name : (Class_tactics.search_strategy, Class_tactics.search_strategy, Class_tactics.search_strategy) Genarg.genarg_typeval eauto_search_strategy_name : Class_tactics.search_strategy Pcoq.Entry.tval wit_eauto_search_strategy : (Class_tactics.search_strategy option, Class_tactics.search_strategy option, Class_tactics.search_strategy option) Genarg.genarg_typeval eauto_search_strategy : Class_tactics.search_strategy option Pcoq.Entry.t