G_class (coq-core.Ltac_plugin.G

val __coq_plugin_name : string

val pr_debug : 'a -> 'b -> 'c -> bool -> Pp.t

val wit_debug : (bool, bool, bool) Genarg.genarg_type

val debug : bool Pcoq.Entry.t

val pr_search_strategy_name : 'a -> 'b -> 'c -> Class_tactics.search_strategy -> Pp.t

val pr_search_strategy : 'a -> 'b -> 'c -> Class_tactics.search_strategy option -> Pp.t

val wit_eauto_search_strategy_name : (Class_tactics.search_strategy, Class_tactics.search_strategy, Class_tactics.search_strategy) Genarg.genarg_type

val eauto_search_strategy_name : Class_tactics.search_strategy Pcoq.Entry.t

val wit_eauto_search_strategy : (Class_tactics.search_strategy option, Class_tactics.search_strategy option, Class_tactics.search_strategy option) Genarg.genarg_type

val eauto_search_strategy : Class_tactics.search_strategy option Pcoq.Entry.t