G_class (rocq-runtime.Ltac_plugin.G

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

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