G_class (coq-core.Ltac_plugin.G

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

val debug : bool Pcoq.Entry.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